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