/* Read resources from a file. */ int read_resource_file(const char *filename, Boolean fatal) { return read_resource_filex(filename, fatal); }
/* Read resources from a file. */ bool read_resource_file(const char *filename, bool fatal) { return read_resource_filex(filename, fatal); }