Source parsing: consider end program with no program header (#1078)
#1881
| Job | Run time |
|---|---|
| 44s | |
| 44s |
end program with no program header (#1078)
#1881
| Job | Run time |
|---|---|
| 44s | |
| 44s |