Make finalize_trema public to avoid using start_trema_up/down.