make_with_value routine and tests implemented