% $Id: LiftSystemTest.oz,v 1.2 2007/11/14 01:45:28 leavens Exp leavens $ % From section 5.5 (page 373) of CTM \insert 'Building.oz' declare F L in {Building 10 2 F L} {Send F.9 call} {Send F.10 call} {Send L.1 call(4)} {Send L.2 call(5)}