value_exn t return the value in the heap controlled by this token if the value is still in the heap. Raise otherwise.
value_exn t