cov-int is a dir