prefinal
changed: funafitumonads terminates earlier if the last ferry was empty