The PesTrie implementation for our PLDI'14 paper