Coverage of main module