store_return_state
store_return_state(db_info, ret_str, state);
store_return_state(db_info, ret_str, alloc_estate_rl(clone_rl(var_rl)));
store_return_state(db_info, ret_str, alloc_estate_rl(ret_range));