#include <stdio.h>

int asmtest (void);

int main (void) {
	printf ("Hello world! %x\n", asmtest ());
	return 0;
}