Execution of "se test" started: Thursday May 22 15:22:36 2025
                    terminated: Thursday May 22 15:23:13 2025
(37 elapsed seconds in "/home/et/Liberty/test/language/external/C/".)