IF problem THEN
    HALT(1)
  END