hoare.v 4.85 KB