Analysis of Recursive State Machines | Hacker News Reader