let xk_enspace                                     = 0xaa2