An implementation of GGHLite using FLINT (mirror)