#5798, posted at 2014-01-06 14:03:51 in Pretty State Machine