main(){ char buf[16]; write(1,buf,read(0,buf,16)); _exit(0); }