int myinit(void) { return 0xcafe; }