(compiler: pl0): use p-code's stack frame model.