ok    a violation outside the boundary is caught
  ok    the offending fn is named
  ok    a call inside the boundary is NOT flagged
  ok    a clean program exits 0

  4 assertions, 4 passed, 0 failed