let () = Store.add "[1_1]->[]" let add x = Store.add x