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

#include "context.h"
#include "atragmx.h"

int main(int argc, char** argv) {
	printf("Hello, %s\n", argv[0]);
	exit(EXIT_SUCCESS);
}