Redundant casting