definition module updownAGEC

import genericgecs

// various buttons

derive gGEC UpDown

:: UpDown = UpPressed | DownPressed | Neutral