KASSERTS and dbg in proc.c