push_empty instead of push_nil