towards using KryPy