[Faucet-dev] stack probing and event propagation