Complete coverage of main