do_load_file
success = do_load_file(tmp, reqsym, reqtypes, record);
success = do_load_file(impl, 0, reqtypes, record);
success = do_load_file(tmp, 0, reqtypes, record);