#include <stdio80.h>
extern printf();
main()
{
	printf("hello, world\n");
}