Amy Anderssen hot compilation

119

Amy Anderssen hot compilation.