sub has_extension_oid {