Change casts into "as"