Symbol: rxgk_kernel_query_challenge