The Leaf Compilation by Sturmgas