Description of  No Bugs!: Delivering Error Free Code in C and C++