def __init__(self, source_path: Path, session: c_output.Session):
    self.source_path = source_path
    self.session = session
def __init__(self, source_path: Path, session: c_output.Session):
    self.source_path = source_path
    self.session = session