let regfile_readable ?(nullglob=false) (dirpatt:filexpr) = let cmd = "test -f $1 -a -r $1 && echo true" in Check.check cmd "regfile_readable" ~nullglob dirpatt