Use C++-style casts