pub unsafe extern "C" fn state_foreign( write_ptr: u32, write_len: u32, kread_ptr: u32, kread_len: u32, nread_ptr: u32, nread_len: u32, aread_ptr: u32, aread_len: u32, ) -> i64