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