If X < 0 then                                         If Error_code then
 <<- ERR_X_VALUE                                       Exit Error_code
Else                                                  Else
 Return                                                Return
