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

Okay, that would be nice. It is about right with my guess of 300 states and 12 symbols.