Update cast-exp.txt