hoare.v 4.61 KB