X = ' a b'; /* Two blanks in each space */
Y = ' '; /* One blank */
N = 1;
I = verify(X,Y,N); /* I = 3 */
do while (I > 0);
display ( 'Nonblank at position ' || trim(I) );
N = I + 1;
I = verify(X,Y,N);
end;
DO ループの最初のパススルーのあとで、N=4 で VERIFY(X,Y,N) は 6 を戻します。2 回目のパスのあとで、N=7 (LENGTH(x)+1) で VERIFY(X,Y,N) は 0 を戻し、 ループが終了します。
他の VERIFY 組み込み関数の例については、SEARCHを参照してください。