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