14:18:43beachSo in PROCESS-ARGUMENTS there is an explicit test that excludes the top-level ENTER-INSTRUCTION from having its arguments processed. That is a very plausible explanation as to why the argument processing wasn't done. :)
14:19:05beachNow I just have to figure out whether there is a good reason to exclude it.
15:06:20beachIf I process the arguments of the top-level ENTER-INSTRUCTION, the HIR evaluator complains about .UNBOUND. which probably means that I am not calling the top-level function right. But I am too tired to figure this out today. I'll settle for the progress I already made on register allocation.