let
xk_asterisk = 0x02a