The CFG-to-C printer is an engine that prints CFG model into the C program form. String Template should be used to accomplish such a task.
All the CFG model variables should be interpreted as uint64_t global variables. The CFG model itself is described by the DeviceState structure with the following fields: variables, number 'N' of processes, null-terminated list of process-related structures.
Every CFG process is represented by a structure, which field is a pointer to run function called 'proc(void*)'. In that function the DeviceState is an input data.