let make_new_struct_id = 
  let id = ref 0 in
  fun () ->
    incr id; !id