type hal_rebootescrow_citadel_data_file, file_type, data_file_type;