Some C conversions