declare MVM_unicode_codepoint_has_property_value