Translation of defining-a-store