Insn.Ldc now translates into Insn.Push, with the possible heap-allocations happening once at load time