Common stuff used by other Insula projects