A clean and pragmatic language that compiles to C