an empty public restroom with benches and lockers