import "std::actions"
impl store_tick();
impl gen_store(k:string, v:num);
root main retry(5) sequence {
    gen_store("k1",0)
    gen_store("k2",0)
    store_tick()
    fail_empty()
}