BEGIN
  INTEGER K
  K = 1
  IF K¬=0 THEN START
    STOP
  FINISH
ENDOFPROGRAM