#include "user.h"
// file system tests
char buf[1024];
int
main()
{
puts("userfs running\n");
block();
return 0;
}