control characters now is not allowed in strings
Correct printing strings in pretty print
rename executables