Definition at line 37 of file default.cc.
References cons_default::tracker::count, and VERIFY.
Referenced by selftests::optional::run_tests().