-rwxr-xr-x  1 bacon    staff    1420652 Jul  9 20:54 setl
-rwxr-xr-x  1 bacon    staff     224448 Jul  9 20:54 setlcpp
-rwxr-xr-x  1 bacon    staff     567408 Jul  9 20:54 setltran