Non-repeating urn; initial value for make_property