-rwxr-xr-x  1 bacon    staff      27412 Oct  2 22:42 setl
-rwxr-xr-x  1 bacon    staff      80508 Oct  2 22:42 setlcpp
-rwxr-xr-x  1 bacon    staff     227644 Oct  2 22:42 setltran
-rwxr-xr-x  1 bacon    staff     432096 Oct  2 22:42 setlrun