VMS Help PASCAL, Attributes, Optimize, NOOPTIMIZE  *Conan The Librarian (sorry for the slow response - running on an old VAX)

  The NOOPTIMIZE attribute prohibits the compiler from  optimizing
  code for the compilation unit or routine.

  The NOOPTIMIZE  attribute  guarantees  left-to-right  evaluation
  order  with  full  evaluation of both operands of the AND and OR
  Boolean operators to aid in diagnosing all potential programming
  errors.   If you wish to have short circuit evaluation even with
  the NOOPTIMIZE attribute, then  use  the  AND_THEN  and  OR_ELSE
  Boolean operators.

  See the  "Compaq  Pascal  Language  Reference  Manual"  for  the
  complete description of using the NOOPTIMIZE attribute.