use c++ style casts