got proper C code folding