def _read_profile_file(profile_file_path: Path):
    with profile_file_path.open() as f:
        target_lines = [line.strip() for line in f if ('Total Time' in line)]
    if (len(target_lines) != 1):
        raise RuntimeError(f'Profile {profile_file_path} malformed')
    (target_line,) = target_lines
    return float(target_line.split()[3])
def _read_profile_file(profile_file_path: Path):
    with profile_file_path.open() as f:
        target_lines = [line.strip() for line in f if ('Total Time' in line)]
    if (len(target_lines) != 1):
        raise RuntimeError(f'Profile {profile_file_path} malformed')
    (target_line,) = target_lines
    return float(target_line.split()[3])