Symbol: new_atom