hupf[11], hufs[8], push[8], funs[7],
nys[12], huf[7], hup[7], puh[7], fun[6], ups[6], uns[3],
ny[11], hu[3], uh[3], nu[2],
