Use Term.ret.