+unsigned long __fastcall__ umul16x8r32 (unsigned lhs, unsigned char rhs);
+/* Multiplicate an unsigned 16 bit by an unsigned 8 bit number yielding a 24
+** bit unsigned result that is extended to 32 bits for easier handling from C.
+*/
+
+unsigned long __fastcall__ umul16x16r32 (unsigned lhs, unsigned rhs);