Reader to C code  #7