coverage cannot run in pypy, it seems (2)