property-entry>
        <vk-property-prototype>API_Extensions.<vk-prototype-name>VK_SAMPLER_ADDRESS_MODE_MIRROR_CLAMP_TO_EDGE</vk-prototype-name></vk-property-prototype>
        <vk-property-description></vk-property-description>
      </vk-property-entry>
      <vk-property-entry>
        <vk-property-prototype>API_Extensions.<vk-prototype-name>VK_IMG_FILTER_CUBIC_SPEC_VERSION</vk-prototype-name></vk-property-prototype>
        <vk-property-description></vk-property-description>
      </vk-property-entry>
