first thing checked: tests do run in checked mode