cp $execs/hello 1

dwz 1

smaller-than.sh 1 $execs/hello

rm -f 1