Extreme compilation of the mushroom king