--- /dev/null
+--- ocaml-3.08.3/otherlibs/num/bng_ia32.c.orig 2005-04-30 11:42:30.000000000 +0200
++++ ocaml-3.08.3/otherlibs/num/bng_ia32.c 2005-04-30 11:44:16.000000000 +0200
+@@ -121,8 +121,8 @@
+ "leal 4(%1), %1 \n\t"
+ "decl %2 \n\t"
+ "jnz 1b"
+- : "+&r" (a), "+&r" (b), "+&rm" (blen), "+&r" (out)
+- : "rm" (d)
++ : "+r" (a), "+r" (b), "+m" (blen), "+r" (out)
++ : "m" (d)
+ : "eax", "edx");
+ }
+ if (alen == 0) return out;
+@@ -164,8 +164,8 @@
+ "leal 4(%1), %1 \n\t"
+ "decl %2 \n\t"
+ "jnz 1b"
+- : "+&r" (a), "+&r" (b), "+&rm" (blen), "+&rm" (out), "=&r" (tmp)
+- : "rm" (d)
++ : "+r" (a), "+r" (b), "+m" (blen), "+m" (out), "=&r" (tmp)
++ : "m" (d)
+ : "eax", "edx");
+ }
+ if (alen == 0) return out;