#include "types.h"
#include "user.h"

#define PGSIZE 4096

int
main(int argc, char *argv[])
{
  exit();
  return 0;
}