A small high-level language that compiles to dc