adding trace comments to char_fsm