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