external kronecker_si: t->int->int="_mlgmp_z_kronecker_si"