Core code from the DF12 Patterns HOT