6 procedure test_time_stamp is
7 S : constant String := Current_Time;
9 function NN (S : String) return Boolean is
12 if S (J) not in '0' .. '9' then
27 or else NN (S (1 .. 4))
28 or else NN (S (6 .. 7))
29 or else NN (S (9 .. 10))
30 or else NN (S (12 .. 13))
31 or else NN (S (15 .. 16))
32 or else NN (S (18 .. 19))
33 or else NN (S (21 .. 22))