C-lambda: a functional language with embedded C code