ok    unbound: nothing is reported
  ok    bound: the caller is visible
  ok    bound: and it changes per call site
  ok    the program still completes
  ok    no fourth emission point was added

  5 assertions, 5 passed, 0 failed