Don't use SMT's data types