1 // correct execution order:
14 :label_1; print("label_1", "\n"); goto label_5;
15 :label_2; print("label_2", "\n"); goto label_4;
16 :label_3; print("label_3", "\n");
19 goto (x == y) ? label_1 : label_2;
21 :label_4; print("label_4", "\n");
31 :label_5; print("label_5", "\n");