let general_re = Str.regexp "^[ \t]*\\*[ \t]*$"