User blog comment:LittlePeng9/Analysis of Loader's program/@comment-10429372-20140815133352/@comment-1605058-20140815155832

I hope for <200 states and about 15 symbols, but I'm not yet sure how complex Derive is.