assert
ccase
check-type
ctypecase
ecase
etypecase