Text this: From natural semantics to C