let () = Store.add "[0_0_0_1]->[]"
let add x = Store.add x