CALL p256MulInternal<>(SB) VOR T0, T0, T2L VOR T1, T1, T2H // X=U1; Y- ; MUL; U1=T // U1 = U1*T1 VOR U1L, U1L, X0 VOR U1H, U1H, X1 CALL p256MulInternal<>(SB) VOR T0, T0, U1L VOR T1, T1, U1H // X=R ; Y=R ; MUL; T- // X3 = R*R VOR RL, RL, X0 // VOR RH, RH, X1 VOR RL, RL, Y0 // RH was saved above using STXVD2X LXVD2X (R1)(R17), X1 VOR X1, X1, Y1 // VOR RH, RH, Y1 CALL p256MulInternal<>(SB) // SUB(T<T-T2) // X3 = X3-T2 p256SubInternal(T1,T0,T1,T0,T2H,T2L) // ADD(X<U1+U1) // T1 = 2*U1 p256AddInternal(X1...