Vehicle VehicleUpdate( Vehicle Record )
Function VehicleUpdate ( Record As Vehicle ) As Vehicle
Vehicle^ VehicleUpdate( Vehicle^ Record )
abstract VehicleUpdate : Record : Vehicle -> Vehicle