Zipper for Khepri ASTs