let
xk_Greek_sigma = 0x7f2