hoare.v 5.87 KB