fn verify_nonexistent_or_empty(dir: &Path) -> Result<(), String>