#include <stdio.h>

extern "C" void __assert(const char *, const char *, int, const char *);

int main(int argc, char **argv)
{
	__assert("a", "b", 1, "c");
	printf("Hello, world!\n");
	exit (0);
}