Function veriwasm::loaders::utils::get_data

pub fn get_data(
    program: &ModuleData, 
    format: &ExecutableType
) -> (x86_64Data, Vec<(u64, String)>, (u64, u64), Vec<(u64, String)>)