let
xk_onefifth = 0xab2