/*join.c
 *
 * 
 */

#include "syscall.h"
int
main()
{
  int exitStatus;
  SpaceId id;
  Exec("../test/halt");
  exitStatus =Join(id);
}