Export cast.h