more debug (trying --with-coverage)