def _get_line_from_diagnostic(diagnostic):
    matches = re.match('<unknown>:([0-9]*):', diagnostic)
    return int(matches.group(1))
def _get_line_from_diagnostic(diagnostic):
    matches = re.match('<unknown>:([0-9]*):', diagnostic)
    return int(matches.group(1))