Use non-reserved chars when dumping machine state, could be useful later
Add type annotation