smt2: rdtmp, put_t