// file system tests

char buf[1024];

main()
{
  puts("userfs running\n");
  block();
}