prelude: 'Const = 1 ' benchmark: vm1_const: | j = Const k = Const loop_count: 30000000