#5295, posted at 2013-07-24 19:13:08 in Pretty State Machine