IF marks the beginning of a control structure of type IF..THEN or IF..ELSE..THEN.
At runtime, the definition part between IF and THEN or between IF and ELSE is executed if the boolean flag at the top of the data stack is true (f<>0).
Otherwise, if the boolean flag is false (f=0), the definition part located between ELSE and THEN will be executed. If there is no ELSE, execution continues after THEN.