Function handle_top_level_externally_closed 

pub(super) fn handle_top_level_externally_closed(
    state: &mut HostState,
    label: String,
) -> DispatchOutput