pub unsafe extern "C" fn Program_load(
loader: *mut DataLoader,
verification: Program_Verification,
out: *mut Program,
) -> Errorpub unsafe extern "C" fn Program_load(
loader: *mut DataLoader,
verification: Program_Verification,
out: *mut Program,
) -> Error