# t_all, t_one
set args 1 test_unbounded_definite_vectors.adb Test_Set_First_Last

catch exception
