A simple state-based language