// 10 april 2019 #include "testing.h" int main(void) { return testingMain(); }