import montMul for size = 4 from ate