ok    the emitter does not adjudicate arity
  ok    a wrong-arity call is caught
  ok    the expected count is correct
  ok    a correct call is clean
  ok    the header yields a plausible number of signatures
  ok    a wrong-arity call on a real builtin is caught
  ok    and the expected count is not 0

  6 assertions, 6 passed, 0 failed