Outside, a group of men were playing happily in the swimming pool, laughing.