change kasserts
change kasserts