+static void write_and_read_line() {
+ remove_logfile();
+ write_to_tl_append("foo\n");
+ verify_log_contents("foo\n");
+}
+
+static void write_and_read_two_lines() {
+ remove_logfile();
+ write_to_tl_append("foo\n");
+ write_to_tl_append("bar\n");
+ verify_log_contents("foo\nbar\n");
+}
+
+int main() {
+ write_and_read_line();
+ write_and_read_two_lines();
+}