instructions: unify beginProc and proc