Execution of "se test" started: Monday May 13 19:27:58 2024
                    terminated: Monday May 13 19:28:27 2024
(29 elapsed seconds in "/home/et/Liberty/test/language/gc/ISMM98/LkROInc/".)