: int OBJ_TAINTED(VALUE x)

