cast in progress
merged
Merge branch 'dev1' of https://github.com/ShawnXiao2007/straightDFA into dev1