to-c rules for labels and gotos