How many times is the body of the loop below executed? int counter; counter = 1; while ( counter > 20) { // body of loop counter = counter - 1; }