Updating: improving contrib/atshwxi/intinf