const char *what);
extern void check_write(FILE *fp, const char *what);
extern void carefully_fclose(FILE *fp, const char *what);
+extern off_t device_size(int fd, const char *file, int *blksz_out);
enum { RAW, IFO, VOB, BUP };
typedef uint_least32_t ident;