__attribute__((format(TAP_PRINTF_FORMAT, 5, 6))) unsigned int
_gen_result(int, const char *, const char *, unsigned int, const char *, ...);
+void _output_test_time(void);
+
int plan_no_plan(void);
__attribute__((noreturn)) int plan_skip_all(const char *);
int plan_tests(unsigned int);