let
xk_ograve = 0x0f2