[flowchart] Does this program halt? [yes-loop back] [no-STOP]