an empty swimming pool in a large building