smt2: load, 32Uto64