let
new_leak p loc exp =
{ potential = p; loc = loc; data = exp; call_stack = [] }