add CHECKCAST