Use the simplified event specification api