check() now takes an optional test-name (defaults to "Main")