begins testing and auto deduces return types