The C source for the initialization.