90% src/memo.ml