string(5) "bzla0"
Fake temp mail