--* From BMT%WATSON.vnet.ibm.com@yktvmh.watson.ibm.com  Wed Oct 13 11:39:45 1993
--* Received: from yktvmh.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA18509; Wed, 13 Oct 1993 11:39:45 -0400
--* Received: from watson.vnet.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 1665; Wed, 13 Oct 93 11:46:13 EDT
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.BMT.NOTE.VAGENT2.4350.Oct.13.11:46:12.-0400>
--*           for asbugs@watson; Wed, 13 Oct 93 11:46:12 -0400
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id 4348; Wed, 13 Oct 1993 11:46:12 EDT
--* Received: from cyst.watson.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3)
--*    with TCP; Wed, 13 Oct 93 11:46:11 EDT
--* Received: from spadserv.watson.ibm.com by cyst.watson.ibm.com (AIX 3.2/UCB 5.64/900528)
--*   id AA26232; Wed, 13 Oct 1993 11:45:37 -0400
--* Received: by spadserv.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA17223; Wed, 13 Oct 1993 11:47:26 -0400
--* Date: Wed, 13 Oct 1993 11:47:26 -0400
--* From: bmt@spadserv.watson.ibm.com
--* X-External-Networks: yes
--* Message-Id: <9310131547.AA17223@spadserv.watson.ibm.com>
--* To: asbugs@watson.ibm.com
--* Subject: compiler incorrectly complains about missing value in no value context [ifbug.as][current]

--@ Fixed  by:  SSD   Wed Aug 10 01:32:27 EDT 1994 
--@ Tested by:  none 
--@ Summary:    Fixed handling of exit in no-value context. 
-- PI: In my opinion this is not a bug. If we move 4 under n>2 it is ok.

#include "aslib"
f(n:Integer):() ==
  while n>0 repeat
     n>1 =>
        n>2 => 3
     4