abbreviated casts