hoare.v 4.45 KB