/*create.c
 *
 *
 */
#include "syscall.h"

int main()
{
  SpaceId id;
  Write("starting\n", 9, 1);
  id = Exec("../test/exec","");
  Join(id);
  Write("finished\n", 9, 1);
  /* char buffer[256]; */
/*   GetArgs(buffer); */
/*   Write(buffer,15,1); */
  /* int i; */
/*   OpenFileId fileId; */
/*   Create("Created_FILE.txt"); */
  
/*   fileId = Open("Created_FILE.txt"); */
/*   Write("TBRC ROCK", 9, fileId);  */
/*   Close(fileId); */
  
/*   fileId = Open("Created_FILE.txt"); */
/*   Read(buffer, 9 , fileId); */
/*   Close(fileId); */
  /*   i = 0; */
  /*      while(i<5){ */
  /*        Read(buffer, 1, 0); */
  /*        Write(buffer, 1, 1); */
  /*        i++; */
  /*     }  */
  
  return 0;
}