let new_code_annotation annot = incr __annot_count; { annot_content = annot ; annot_id = !__annot_count }