Examples of Hippo implementations