Symbol: ibt_atom_arg_t