// 28 april 2019
#include "../ui.h"
#include "testing.h"
// main.c
extern void timeout_uiMain(testingT *t, int64_t timeout, int failNowOnError);