copilot-2.1.0: A stream DSL for writing embedded C programs.