def mkcell(v0) = def state(v) & get() = state(v) & reply v to get or state(v) & set(new_v) = state(new_v) & reply to set in state(v0) & reply (get,set) to mkcell in let gi,si = mkcell(0) in print_int(gi());si(7);print_int(gi());;