#5293, posted at 2013-07-24 18:24:51 in Pretty State Machine