ks01: add asserts