#define __NO_INLINE__

#include <stdio.h>

int start(int origin)
{
	printf("Welcome !\n");
	printf("Origin: %x\n", origin);

	return 0;
}