let comment_filter = CommentFilter.mk ()