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