(* Generated by F* Custard extraction. Do not edit. *)
[@@@ocaml.warning "-3-5-8-11-20-26-27-28-32-33-34-35-37-39-50-57-60-69-70"]

let multiply_multiply (x : (FStar_UInt32.t ref)) (y : (FStar_UInt32.t ref)) : unit =
  (let n = (!(x)) in
  let m = (!(y)) in
  ((x) := (FStar_UInt32.uint_to_t Prims.int_zero));
  let ctr = (ref (FStar_UInt32.uint_to_t Prims.int_zero)) in
  (while (let u___anf0 = (!(ctr)) in
  (FStar_UInt32.lt u___anf0 m)) do (let u___anf0 = (!(x)) in
  ((x) := (FStar_UInt32.add u___anf0 n));
  let u___anf01 = (!(ctr)) in
  ((ctr) := (FStar_UInt32.add u___anf01 (FStar_UInt32.uint_to_t Prims.int_one)))) done);
  ())