 compiled-branch00   (assign val (op compiled-procedure-entry) (reg proc))   (goto (reg val)) primitive-branch00   (assign val (op apply-primitive-procedure) (reg proc) (reg argl))   (goto (reg continue)) after-call00 