Execution of "se test" started: Monday June 27 9:37:33 2022
                    terminated: Monday June 27 9:38:20 2022
(47 elapsed seconds in "/home/et/Liberty/test/language/unclassified/pr1/".)