let fresh_reg () =
  incr regc; !regc