Convert Iso.cpp to C code