fix emitter system printf