ece2400-sec4-c-debug-coverage