pubs[9], supi[7],
xis[10], pub[8], pis[6], psi[6], ups[6], bis[5], bus[5],
ix[9], xi[9], pi[5], bi[4], si[2], ui[2],
