#!/bin/rc

x=`{doctype $1}

apid=not
while(){
	if (test -f /proc/$apid/notepg)
		echo kill>/proc/$apid/notepg
	eval $x | proof -m 1 &
	await $1
}