lab 12 coverage (with bug)