working_nonempty
