let xk_2                   = 0x032