#33 setValue works in DurableInt