Fix a constant used for tag serialization

Inline assembly for 64-bit g++ build