making casts explicit