A DFTL implementation