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