hoare.v 5.64 KB