{"ast_node_type":"other","tokens":[{"end":12,"kind":"keyword","start":0,"text":"}"}]}
    } else {
        format!("{} ({src}) (retried {max_attempts} times)", format_dlopen_err(&last_error))
        format!("{} (retried {max_attempts} times)", format_dlopen_err(&last_error))