CS: {} are mandatory even for single statements