Update cast.h