how about using `PROGRAM` instead of `EXEC` ?