#include <stdlib.h>
void abort(void);