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