Experimenting with more explicit coverage declarations