--* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com  Mon Jul 11 10:44:07 1994
--* Received: from yktvmv-ob.watson.ibm.com by asharp.watson.ibm.com (AIX 3.2/UCB 5.64/930311)
--*           id AA22492; Mon, 11 Jul 1994 10:44:07 -0400
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 2595; Mon, 11 Jul 94 10:44:09 EDT
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.JENKS.NOTE.VAGENT2.2081.Jul.11.10:44:06.-0400>
--*           for asbugs@watson; Mon, 11 Jul 94 10:44:09 -0400
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id 2057; Mon, 11 Jul 1994 10:44:05 EDT
--* Received: from leonardo.watson.ibm.com by yktvmv.watson.ibm.com
--*    (IBM VM SMTP V2R3) with TCP; Mon, 11 Jul 94 10:44:04 EDT
--* Received: by leonardo.watson.ibm.com (AIX 3.2/UCB 5.64/920123)
--*           id AA24567; Mon, 11 Jul 1994 10:39:21 -0400
--* Date: Mon, 11 Jul 1994 10:39:21 -0400
--* From: jenks@leonardo.watson.ibm.com
--* X-External-Networks: yes
--* Message-Id: <9407111439.AA24567@leonardo.watson.ibm.com>
--* To: asbugs@watson.ibm.com
--* Subject: [1] segmentation violation with no message [/u/jenks/dimacs94/ex.pm/inc.as][?]

--@ Fixed  by:  SSD   Thu Aug 4 09:21:21 EDT 1994 
--@ Tested by:  none 
--@ Summary:    gen0Sequence needs to set up a place for imports before generating an if to implement the exit. 

#if BugHeaders
LastSeenBy: PI
LastUpdate: 02/Aug/94
BugKeywords: genfoam
Priority: 2
Comments: See bugs 737, 739
Comments:
SeenBy:
Updates:
#endif
#assert modified
#if modified


#include "aslib";
import from Integer;
inc(n: Integer): Integer == n + 1;
(inc 7*2 = (inc 7)*2 => true; false);

#else  -- original begin


#include "aslib";
import from Integer;
inc(n: Integer): Integer == n + 1;
(inc 7*2 = (inc 7)*2 => true; false);

#endif -- original end