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