hoare.v 5.19 KB