#include <stdint.h>
#include <stddef.h>
#include <ulib.h>

void diagdummy_openf(void) {
  fsh_t h = fs_openf("base:/bin/init", FS_OF_READ);
  uprintf("h = %d\n", h);
  for(;;);
}