str form in machine, with first evaluate tests