Execution of "se test" started: Tuesday June 21 1:38:54 2022
                    terminated: Tuesday June 21 1:43:2 2022
(248 elapsed seconds in "/home/et/Liberty/test/language/address_of/".)