added CheckCast