Symbol: ATOM_INSN