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