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 commit xid
1 return true
1 call start
1 return
1 call addFlight xid "347" 100 -10
1 return true
1 call addRooms xid "Stanford" 200 -10
1 return true
1 call addCars xid "SFO" 300 -10
1 return true
1 call commit xid
1 return true
1 call start
1 return
1 call queryFlightPrice xid "347"
1 return 310
1 call queryRoomsPrice xid "Stanford"
1 return 150
1 call queryCarsPrice xid "SFO"
1 return 30
1 exit
