Instruction tag stringification