hoare.v 6.43 KB