Source parsing: consider end program with no program header (#1078)
#2445
| Job | Run time |
|---|---|
| 2m 15s | |
| 2m 2s | |
| 2m 17s | |
| 8m 14s | |
| 3m 22s | |
| 3m 36s | |
| 3m 26s | |
| 6m 11s | |
| 10m 31s | |
| 4m 15s | |
| 9m 40s | |
| 46s | |
| 43s | |
| 45s | |
| 11s | |
| 58m 14s |