+size_t prog_write(struct _KFile *fd, const void *buf, size_t size);
+bool prog_open(struct _KFile *fd, UNUSED_ARG(const char *, name), UNUSED_ARG(int, mode));
+bool prog_close(struct _KFile *fd);
+bool prog_seek(struct _KFile *fd, int32_t offset);
+size_t prog_read(struct _KFile *fd, void *buf, size_t size);
+bool prog_test(void);
+/* \} */