let xk_aring               = 0x0e5