Symbol: push_atom