// Generated by F* Custard extraction. Do not edit.
module Custard
#nowarn "25" "26" "40" "49" "64" "1182" "3220"
open FStarCustard

let multiply_multiply (x : (uint32 ref)) (y : (uint32 ref)) : unit =
  (let n = ((x).Value) in
   let m = ((y).Value) in
   ((x).Value <- (0u));
   let ctr = (ref (0u)) in
   (while (let u___anf0 = ((ctr).Value) in
           (u___anf0 < m)) do
      (let u___anf0 = ((x).Value) in
       ((x).Value <- (u___anf0 + n));
       let u___anf01 = ((ctr).Value) in
       ((ctr).Value <- (u___anf01 + (1u)))));
   ())