Symbol: work_push_atom