# { dg-options "-fstropping=upper" }  #
BEGIN PROC is even := (INT n) BOOL: n %* 2 = 0;
      ASSERT (is even (40));
      PROC no args := BOOL: TRUE;
      ASSERT (no args)
END