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