-#define TAG_VALUE(v, tag) ((uint64_t)(v) | tag)
-#define IS_TAGGED(v, tag) ((uint64_t)(v) & tag)
-#define STRIP_TAG(v, tag) ((uint64_t)(v) & ~tag)
+#endif
+#define TAG_VALUE(v, tag) ((v) | tag)
+#define IS_TAGGED(v, tag) ((v) & tag)
+#define STRIP_TAG(v, tag) ((v) & ~tag)