Storing the state of DFAs in descriptors