Emit basic SMT file #69

Closed marron-at-work closed 11 months ago