#include "../userprog/syscall.h" int main(){ char buffer[1024]; Read(buffer, 1024, 0); Write( buffer, 1024, 1); return 0; }