declare x fixed decimal (10);
...
if ^valid(x) then signal error;

declare y picture 'A9XAAA9';
...
if ^valid(y) then signal error;