Changes in cast_zext