Final implementation of test3(...)