1
1 call start
1 return
1 call addFlight xid "347" 100 310
1 return true
1 call addRooms xid "Stanford" 200 150
1 return true
1 call addCars xid "SFO" 300 30
1 return true
1 call newCustomer xid "John"
1 return true
1 call commit xid
1 return true
1 call start  
1 return
1 call addFlight xid "347" 100 620   
1 return true   
1 call addRooms xid "Stanford" 200 300   
1 return true   
1 call addCars xid "SFO" 300 60   
1 return true   
1 call dieAfterPointerSwitch
1 return true
1 call commit xid
1 except java.rmi.RemoteException
1 launch 
1 call start
1 return
1 call queryFlight xid "347"
1 return 200
1 call queryFlightPrice xid "347"
1 return 620
1 call queryRooms xid "Stanford"
1 return 400
1 call queryRoomsPrice xid "Stanford"
1 return 300
1 call queryCars xid "SFO"
1 return 600
1 call queryCarsPrice xid "SFO"
1 return 60
1 call queryCustomerBill xid "John"
1 return 0
1 exit
