Updating: adding contrib/atshwxi/intinf.