let fresh_code_annotation () =
  incr __annot_count; !__annot_count