Use C cast