#include "kernel/types.h"
#include "kernel/stat.h"
#include "user/user.h"

int
main(void)
{
  write(1, "\e[1;1H\e[2J", 12);

  exit(0);
}