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

#include "context.h"

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