Definitions of Hoare:

• name:  A surname (very rare: popularity rank in the U.S.: #35585)