[Boost-users] [statechart] process_event vs post_event confusion