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