varchar_with_default