Greedygrovegg compilation