let default_tags = [ `sharp_comments; `pedantic ]