pub fn proc_exit<'a>(
    ctx: &'a mut impl WasiSnapshotPreview1,
    memory: &'a dyn GuestMemory,
    arg0: i32
) -> impl Future<Output = Result<(), Trap>> + 'a