0: WRITE k
1: READ k
2: GOTO [END] 3

