override instruction.tostring()