Definition:

petcocks