B_HPKG_ATTRIBUTE_ENCODING_INT_64_BIT
case B_HPKG_ATTRIBUTE_ENCODING_INT_64_BIT:
return B_HPKG_ATTRIBUTE_ENCODING_INT_64_BIT;
case B_HPKG_ATTRIBUTE_ENCODING_INT_64_BIT:
case B_HPKG_ATTRIBUTE_ENCODING_INT_64_BIT: