#include <stdlib.h>
#include <stdio.h>

volatile int errno;

void abort() {
	process_exit(100 + errno);
}