class SEP_PASSENGER

create
  set_passenger

feature
  set_passenger (p : separate PASSENGER)
    do
      passenger := p
    end

  passenger : separate PASSENGER

end