ExtensibilityCheck 1591 src/objects.h        ExtensibilityCheck extensibility_check);
ExtensibilityCheck 1981 src/objects.h        ExtensibilityCheck extensibility_check = PERFORM_EXTENSIBILITY_CHECK);