string(5) "z3smt"
Fake temp mail