Note that the pi-extension example in the gondolin repo is very outdated. Look in the pi repo instead.