let next_reg env =
  let n = ref 0 in
    fun () -> (let temp = !n in n:=!n+1; temp)