#include <lib9.h> intmain(int argc, char **argv){	werrstr("hello world");	print("%r\n");}