`static_cast`