hupf[11], hufs[8], push[8], funs[7], uhus[5],
huf[7], hup[7], puh[7], fun[6], ups[6], uhu[4], uns[3],
hu[3], uh[3], nu[2],
