A basic building block for twitch statecharts