Add the actual C code