String append(String? src, String line) { if (src != null) { return '$src\n$line'; } else { return line; } }