static String readFile(String path) { try { return File(path).readAsStringSync(); } catch (e) { stderr.writeln('readFile error: $e'); return ''; } }