class check_debug_abbrev;