/*
 * Airline reservation RPC interface definition.
 *
 * rpcc -c rx.x ; rpcc -h rx.x
 */

struct reserve_args {
  int flight_number;
  string name<>;
};

struct reserve_result {
  int ok;
  string seat<>;
};

program RESERVATION_PROG {
  version RESERVATION_VERS {
    reserve_result RESERVATION_RESERVE (reserve_args) = 1;
  } = 1;
} = 400001;