Fix XS call-through for Frobenius