hails—to greet or call out to someone, often to get their attention