smt2: 32bits load, put, store