Make sure PRO program args are checked.