Implement EXEC.DO*RANGE and associated test case