: void OBJ_TAINT(VALUE x)

