DEFINITION gz()
TYPE =
       G
BODY =
mk_G S lt_n_Sn