Execution of "se test" started: Tuesday July 1 5:57:43 2025
                    terminated: Tuesday July 1 5:58:23 2025
(40 elapsed seconds in "/home/et/Liberty/test/language/external/C/".)