let
fresh_code_annotation () =
incr __annot_count; !__annot_count