1428d7b3dSmrg#include <stdarg.h> 2428d7b3dSmrg#include <stdio.h> 3428d7b3dSmrg#include <stdlib.h> 4428d7b3dSmrg 5428d7b3dSmrg#include "test.h" 6428d7b3dSmrg 7428d7b3dSmrgvoid die(const char *fmt, ...) 8428d7b3dSmrg{ 9428d7b3dSmrg va_list va; 10428d7b3dSmrg 11428d7b3dSmrg va_start(va, fmt); 12428d7b3dSmrg vfprintf(stderr, fmt, va); 13428d7b3dSmrg va_end(va); 14428d7b3dSmrg 15428d7b3dSmrg exit(1); 16428d7b3dSmrg} 17428d7b3dSmrg 18