Embedding the C language into SML