let
xk_Greek_finalsmallsigma = 0x7f3