#include  int main(int argc, char *args[]) { printf("hello world\n"); return 0; }