We use c-style casts.