How the Kohen Gadol would exit the holy of holies