Some Typecasts in the C code generatpr