typedef char *cstr;

int printf(cstr format, ...);

int hello(void)
{
	int _;
	_ = printf("hello, world\n");
}