value t heap returns the value in the heap controlled by this token if the value is still in the heap and heap and t match. Otherwise the behavior is unspecified and could lead to segfaults.