save a variable in unary_enumerator