It's been way too long since I worked on Ristretto. I forgot so much.