Convert to correct C types