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

void abort() {
	puts("Aborted");
	exit(134);
}