47) S-Style (SpeC)