create and use checkedCast()