Evaluated proc bigjpeg2 {url {width 140}} { jpg get $url; jpg do $width }