Symbol: kn_read_asserts