starting lib-call
Merge branch 'dev1' of https://github.com/ShawnXiao2007/straightDFA into dev1