The Karavel Framework