let
xk_sterling = 0x0a3