-static inline markable_t MARK_NODE(node_t * x) { return TAG_VALUE((markable_t)x, TAG1); }
-static inline int HAS_MARK(markable_t x) { return (IS_TAGGED(x, TAG1) == TAG1); }
+static inline markable_t MARK_NODE(node_t * x) { return TAG_VALUE((markable_t)x, 0x1); }
+static inline int HAS_MARK(markable_t x) { return (IS_TAGGED(x, 0x1) == 0x1); }