procedure cancel_reservation...