get_random_bytes
get_random_bytes(nonce, sizeof(nonce));
get_random_bytes(&host_session_id, sizeof(u64));
get_random_bytes(&exec_res->host_session_handle, sizeof(exec_res->host_session_handle));