void do_tests() {
    string str = "This is a test";
    rm("/test_file");
    write_file("/test_file", str);
    ASSERT(file_size("test_file") == strlen(str));
}