def extract_metadata(metadata):
    """
    Given `metadata` produced from the custom Frama-C script,
    extract the line number and instruction information
    """
    loc_index = metadata.find("current line: ")
    instr = metadata[len("current instruction: "):loc_index]
    loc = metadata[loc_index+len("current line: "):]
    return instr, loc