open Ass open Frame val program : Spim.program -> instr list