#include <defs.h>
#include <stub.c>

// Empty C code

void main()
{
	return;
}