C preprocessor to create state machines from what looks like an ordinary C code