0: EMPTY
1: READ a
2: COND_GOTO [ELSE] 9
3: READ c
4: READ b
5: COND_GOTO [ELSE] 18
6: READ b
7: WRITE x
8: GOTO [END] 14
9: READ c
10: WRITE x
11: COND_GOTO [THEN] 15
12: READ c
13: READ b
14: COND_GOTO [ELSE] 18
15: READ x
16: EMPTY
17: GOTO [END] 20
18: READ x
19: EMPTY