Test with reverted cast