-rwxr-xr-x bacon/om      21064 2008-10-02 19:30 setl
-rwxr-xr-x bacon/om      72492 2008-10-02 19:30 setlcpp
-rwxr-xr-x bacon/om     225436 2008-10-02 19:30 setltran
-rwxr-xr-x bacon/om     413096 2008-10-02 19:30 setlrun