hoare.v 5.76 KB