Ready for some first tests with the LDFA implementation.