driver: python
input_sources: [foo.adb]