#[cases.test_attrs_get_set]
#code = '''
#    lfs_t lfs;
#    lfs_format(&lfs, cfg) => 0;
#    lfs_mount(&lfs, cfg) => 0;
#    lfs_mkdir(&lfs, "hello") => 0;
#    lfs_file_t file;
#    lfs_file_open(&lfs, &file, "hello/hello", LFS_O_WRONLY | LFS_O_CREAT) => 0;
#    lfs_file_write(&lfs, &file, "hello", strlen("hello")) => strlen("hello");
#    lfs_file_close(&lfs, &file);
#    lfs_unmount(&lfs) => 0;
#
#    lfs_mount(&lfs, cfg) => 0;
#    uint8_t buffer[1024];
#    memset(buffer, 0, sizeof(buffer));
#    lfs_setattr(&lfs, "hello", 'A', "aaaa",   4) => 0;
#    lfs_setattr(&lfs, "hello", 'B', "bbbbbb", 6) => 0;
#    lfs_setattr(&lfs, "hello", 'C', "ccccc",  5) => 0;
#    lfs_getattr(&lfs, "hello", 'A', buffer,    4) => 4;
#    lfs_getattr(&lfs, "hello", 'B', buffer+4,  6) => 6;
#    lfs_getattr(&lfs, "hello", 'C', buffer+10, 5) => 5;
#    memcmp(buffer,    "aaaa",   4) => 0;
#    memcmp(buffer+4,  "bbbbbb", 6) => 0;
#    memcmp(buffer+10, "ccccc",  5) => 0;
#
#    lfs_setattr(&lfs, "hello", 'B', "", 0) => 0;
#    lfs_getattr(&lfs, "hello", 'A', buffer,    4) => 4;
#    lfs_getattr(&lfs, "hello", 'B', buffer+4,  6) => 0;
#    lfs_getattr(&lfs, "hello", 'C', buffer+10, 5) => 5;
#    memcmp(buffer,    "aaaa",         4) => 0;
#    memcmp(buffer+4,  "\0\0\0\0\0\0", 6) => 0;
#    memcmp(buffer+10, "ccccc",        5) => 0;
#
#    lfs_removeattr(&lfs, "hello", 'B') => 0;
#    lfs_getattr(&lfs, "hello", 'A', buffer,    4) => 4;
#    lfs_getattr(&lfs, "hello", 'B', buffer+4,  6) => LFS_ERR_NOATTR;
#    lfs_getattr(&lfs, "hello", 'C', buffer+10, 5) => 5;
#    memcmp(buffer,    "aaaa",         4) => 0;
#    memcmp(buffer+4,  "\0\0\0\0\0\0", 6) => 0;
#    memcmp(buffer+10, "ccccc",        5) => 0;
#
#    lfs_setattr(&lfs, "hello", 'B', "dddddd", 6) => 0;
#    lfs_getattr(&lfs, "hello", 'A', buffer,    4) => 4;
#    lfs_getattr(&lfs, "hello", 'B', buffer+4,  6) => 6;
#    lfs_getattr(&lfs, "hello", 'C', buffer+10, 5) => 5;
#    memcmp(buffer,    "aaaa",   4) => 0;
#    memcmp(buffer+4,  "dddddd", 6) => 0;
#    memcmp(buffer+10, "ccccc",  5) => 0;
#
#    lfs_setattr(&lfs, "hello", 'B', "eee", 3) => 0;
#    lfs_getattr(&lfs, "hello", 'A', buffer,    4) => 4;
#    lfs_getattr(&lfs, "hello", 'B', buffer+4,  6) => 3;
#    lfs_getattr(&lfs, "hello", 'C', buffer+10, 5) => 5;
#    memcmp(buffer,    "aaaa",      4) => 0;
#    memcmp(buffer+4,  "eee\0\0\0", 6) => 0;
#    memcmp(buffer+10, "ccccc",     5) => 0;
#
#    lfs_setattr(&lfs, "hello", 'A', buffer, LFS_ATTR_MAX+1) => LFS_ERR_NOSPC;
#    lfs_setattr(&lfs, "hello", 'B', "fffffffff", 9) => 0;
#    lfs_getattr(&lfs, "hello", 'A', buffer,    4) => 4;
#    lfs_getattr(&lfs, "hello", 'B', buffer+4,  6) => 9;
#    lfs_getattr(&lfs, "hello", 'C', buffer+10, 5) => 5;
#
#    lfs_unmount(&lfs) => 0;
#
#    lfs_mount(&lfs, cfg) => 0;
#    memset(buffer, 0, sizeof(buffer));
#    lfs_getattr(&lfs, "hello", 'A', buffer,    4) => 4;
#    lfs_getattr(&lfs, "hello", 'B', buffer+4,  9) => 9;
#    lfs_getattr(&lfs, "hello", 'C', buffer+13, 5) => 5;
#    memcmp(buffer,    "aaaa",      4) => 0;
#    memcmp(buffer+4,  "fffffffff", 9) => 0;
#    memcmp(buffer+13, "ccccc",     5) => 0;
#
#    lfs_file_open(&lfs, &file, "hello/hello", LFS_O_RDONLY) => 0;
#    lfs_file_read(&lfs, &file, buffer, sizeof(buffer)) => strlen("hello");
#    memcmp(buffer, "hello", strlen("hello")) => 0;
#    lfs_file_close(&lfs, &file);
#    lfs_unmount(&lfs) => 0;
#'''
#
#[cases.test_attrs_get_set_root]
#code = '''
#    lfs_t lfs;
#    lfs_format(&lfs, cfg) => 0;
#    lfs_mount(&lfs, cfg) => 0;
#    lfs_mkdir(&lfs, "hello") => 0;
#    lfs_file_t file;
#    lfs_file_open(&lfs, &file, "hello/hello", LFS_O_WRONLY | LFS_O_CREAT) => 0;
#    lfs_file_write(&lfs, &file, "hello", strlen("hello")) => strlen("hello");
#    lfs_file_close(&lfs, &file);
#    lfs_unmount(&lfs) => 0;
#
#    lfs_mount(&lfs, cfg) => 0;
#    uint8_t buffer[1024];
#    memset(buffer, 0, sizeof(buffer));
#    lfs_setattr(&lfs, "/", 'A', "aaaa",   4) => 0;
#    lfs_setattr(&lfs, "/", 'B', "bbbbbb", 6) => 0;
#    lfs_setattr(&lfs, "/", 'C', "ccccc",  5) => 0;
#    lfs_getattr(&lfs, "/", 'A', buffer,    4) => 4;
#    lfs_getattr(&lfs, "/", 'B', buffer+4,  6) => 6;
#    lfs_getattr(&lfs, "/", 'C', buffer+10, 5) => 5;
#    memcmp(buffer,    "aaaa",   4) => 0;
#    memcmp(buffer+4,  "bbbbbb", 6) => 0;
#    memcmp(buffer+10, "ccccc",  5) => 0;
#
#    lfs_setattr(&lfs, "/", 'B', "", 0) => 0;
#    lfs_getattr(&lfs, "/", 'A', buffer,    4) => 4;
#    lfs_getattr(&lfs, "/", 'B', buffer+4,  6) => 0;
#    lfs_getattr(&lfs, "/", 'C', buffer+10, 5) => 5;
#    memcmp(buffer,    "aaaa",         4) => 0;
#    memcmp(buffer+4,  "\0\0\0\0\0\0", 6) => 0;
#    memcmp(buffer+10, "ccccc",        5) => 0;
#
#    lfs_removeattr(&lfs, "/", 'B') => 0;
#    lfs_getattr(&lfs, "/", 'A', buffer,    4) => 4;
#    lfs_getattr(&lfs, "/", 'B', buffer+4,  6) => LFS_ERR_NOATTR;
#    lfs_getattr(&lfs, "/", 'C', buffer+10, 5) => 5;
#    memcmp(buffer,    "aaaa",         4) => 0;
#    memcmp(buffer+4,  "\0\0\0\0\0\0", 6) => 0;
#    memcmp(buffer+10, "ccccc",        5) => 0;
#
#    lfs_setattr(&lfs, "/", 'B', "dddddd", 6) => 0;
#    lfs_getattr(&lfs, "/", 'A', buffer,    4) => 4;
#    lfs_getattr(&lfs, "/", 'B', buffer+4,  6) => 6;
#    lfs_getattr(&lfs, "/", 'C', buffer+10, 5) => 5;
#    memcmp(buffer,    "aaaa",   4) => 0;
#    memcmp(buffer+4,  "dddddd", 6) => 0;
#    memcmp(buffer+10, "ccccc",  5) => 0;
#
#    lfs_setattr(&lfs, "/", 'B', "eee", 3) => 0;
#    lfs_getattr(&lfs, "/", 'A', buffer,    4) => 4;
#    lfs_getattr(&lfs, "/", 'B', buffer+4,  6) => 3;
#    lfs_getattr(&lfs, "/", 'C', buffer+10, 5) => 5;
#    memcmp(buffer,    "aaaa",      4) => 0;
#    memcmp(buffer+4,  "eee\0\0\0", 6) => 0;
#    memcmp(buffer+10, "ccccc",     5) => 0;
#
#    lfs_setattr(&lfs, "/", 'A', buffer, LFS_ATTR_MAX+1) => LFS_ERR_NOSPC;
#    lfs_setattr(&lfs, "/", 'B', "fffffffff", 9) => 0;
#    lfs_getattr(&lfs, "/", 'A', buffer,    4) => 4;
#    lfs_getattr(&lfs, "/", 'B', buffer+4,  6) => 9;
#    lfs_getattr(&lfs, "/", 'C', buffer+10, 5) => 5;
#    lfs_unmount(&lfs) => 0;
#
#    lfs_mount(&lfs, cfg) => 0;
#    memset(buffer, 0, sizeof(buffer));
#    lfs_getattr(&lfs, "/", 'A', buffer,    4) => 4;
#    lfs_getattr(&lfs, "/", 'B', buffer+4,  9) => 9;
#    lfs_getattr(&lfs, "/", 'C', buffer+13, 5) => 5;
#    memcmp(buffer,    "aaaa",      4) => 0;
#    memcmp(buffer+4,  "fffffffff", 9) => 0;
#    memcmp(buffer+13, "ccccc",     5) => 0;
#
#    lfs_file_open(&lfs, &file, "hello/hello", LFS_O_RDONLY) => 0;
#    lfs_file_read(&lfs, &file, buffer, sizeof(buffer)) => strlen("hello");
#    memcmp(buffer, "hello", strlen("hello")) => 0;
#    lfs_file_close(&lfs, &file);
#    lfs_unmount(&lfs) => 0;
#'''
#
#[cases.test_attrs_get_set_file]
#code = '''
#    lfs_t lfs;
#    lfs_format(&lfs, cfg) => 0;
#    lfs_mount(&lfs, cfg) => 0;
#    lfs_mkdir(&lfs, "hello") => 0;
#    lfs_file_t file;
#    lfs_file_open(&lfs, &file, "hello/hello", LFS_O_WRONLY | LFS_O_CREAT) => 0;
#    lfs_file_write(&lfs, &file, "hello", strlen("hello")) => strlen("hello");
#    lfs_file_close(&lfs, &file);
#    lfs_unmount(&lfs) => 0;
#
#    lfs_mount(&lfs, cfg) => 0;
#    uint8_t buffer[1024];
#    memset(buffer, 0, sizeof(buffer));
#    struct lfs_attr attrs1[] = {
#        {'A', buffer,    4},
#        {'B', buffer+4,  6},
#        {'C', buffer+10, 5},
#    };
#    struct lfs_file_config cfg1 = {.attrs=attrs1, .attr_count=3};
#
#    lfs_file_opencfg(&lfs, &file, "hello/hello", LFS_O_WRONLY, &cfg1) => 0;
#    memcpy(buffer,    "aaaa",   4);
#    memcpy(buffer+4,  "bbbbbb", 6);
#    memcpy(buffer+10, "ccccc",  5);
#    lfs_file_close(&lfs, &file) => 0;
#    memset(buffer, 0, 15);
#    lfs_file_opencfg(&lfs, &file, "hello/hello", LFS_O_RDONLY, &cfg1) => 0;
#    lfs_file_close(&lfs, &file) => 0;
#    memcmp(buffer,    "aaaa",   4) => 0;
#    memcmp(buffer+4,  "bbbbbb", 6) => 0;
#    memcmp(buffer+10, "ccccc",  5) => 0;
#
#    attrs1[1].size = 0;
#    lfs_file_opencfg(&lfs, &file, "hello/hello", LFS_O_WRONLY, &cfg1) => 0;
#    lfs_file_close(&lfs, &file) => 0;
#    memset(buffer, 0, 15);
#    attrs1[1].size = 6;
#    lfs_file_opencfg(&lfs, &file, "hello/hello", LFS_O_RDONLY, &cfg1) => 0;
#    lfs_file_close(&lfs, &file) => 0;
#    memcmp(buffer,    "aaaa",         4) => 0;
#    memcmp(buffer+4,  "\0\0\0\0\0\0", 6) => 0;
#    memcmp(buffer+10, "ccccc",        5) => 0;
#
#    attrs1[1].size = 6;
#    lfs_file_opencfg(&lfs, &file, "hello/hello", LFS_O_WRONLY, &cfg1) => 0;
#    memcpy(buffer+4,  "dddddd", 6);
#    lfs_file_close(&lfs, &file) => 0;
#    memset(buffer, 0, 15);
#    attrs1[1].size = 6;
#    lfs_file_opencfg(&lfs, &file, "hello/hello", LFS_O_RDONLY, &cfg1) => 0;
#    lfs_file_close(&lfs, &file) => 0;
#    memcmp(buffer,    "aaaa",   4) => 0;
#    memcmp(buffer+4,  "dddddd", 6) => 0;
#    memcmp(buffer+10, "ccccc",  5) => 0;
#
#    attrs1[1].size = 3;
#    lfs_file_opencfg(&lfs, &file, "hello/hello", LFS_O_WRONLY, &cfg1) => 0;
#    memcpy(buffer+4,  "eee", 3);
#    lfs_file_close(&lfs, &file) => 0;
#    memset(buffer, 0, 15);
#    attrs1[1].size = 6;
#    lfs_file_opencfg(&lfs, &file, "hello/hello", LFS_O_RDONLY, &cfg1) => 0;
#    lfs_file_close(&lfs, &file) => 0;
#    memcmp(buffer,    "aaaa",      4) => 0;
#    memcmp(buffer+4,  "eee\0\0\0", 6) => 0;
#    memcmp(buffer+10, "ccccc",     5) => 0;
#
#    attrs1[0].size = LFS_ATTR_MAX+1;
#    lfs_file_opencfg(&lfs, &file, "hello/hello", LFS_O_WRONLY, &cfg1)
#        => LFS_ERR_NOSPC;
#
#    struct lfs_attr attrs2[] = {
#        {'A', buffer,    4},
#        {'B', buffer+4,  9},
#        {'C', buffer+13, 5},
#    };
#    struct lfs_file_config cfg2 = {.attrs=attrs2, .attr_count=3};
#    lfs_file_opencfg(&lfs, &file, "hello/hello", LFS_O_RDWR, &cfg2) => 0;
#    memcpy(buffer+4,  "fffffffff", 9);
#    lfs_file_close(&lfs, &file) => 0;
#    attrs1[0].size = 4;
#    lfs_file_opencfg(&lfs, &file, "hello/hello", LFS_O_RDONLY, &cfg1) => 0;
#    lfs_file_close(&lfs, &file) => 0;
#
#    lfs_unmount(&lfs) => 0;
#
#    lfs_mount(&lfs, cfg) => 0;
#    memset(buffer, 0, sizeof(buffer));
#    struct lfs_attr attrs3[] = {
#        {'A', buffer,    4},
#        {'B', buffer+4,  9},
#        {'C', buffer+13, 5},
#    };
#    struct lfs_file_config cfg3 = {.attrs=attrs3, .attr_count=3};
#
#    lfs_file_opencfg(&lfs, &file, "hello/hello", LFS_O_RDONLY, &cfg3) => 0;
#    lfs_file_close(&lfs, &file) => 0;
#    memcmp(buffer,    "aaaa",      4) => 0;
#    memcmp(buffer+4,  "fffffffff", 9) => 0;
#    memcmp(buffer+13, "ccccc",     5) => 0;
#
#    lfs_file_open(&lfs, &file, "hello/hello", LFS_O_RDONLY) => 0;
#    lfs_file_read(&lfs, &file, buffer, sizeof(buffer)) => strlen("hello");
#    memcmp(buffer, "hello", strlen("hello")) => 0;
#    lfs_file_close(&lfs, &file);
#    lfs_unmount(&lfs) => 0;
#'''
#
#[cases.test_attrs_deferred_file]
#code = '''
#    lfs_t lfs;
#    lfs_format(&lfs, cfg) => 0;
#    lfs_mount(&lfs, cfg) => 0;
#    lfs_mkdir(&lfs, "hello") => 0;
#    lfs_file_t file;
#    lfs_file_open(&lfs, &file, "hello/hello", LFS_O_WRONLY | LFS_O_CREAT) => 0;
#    lfs_file_write(&lfs, &file, "hello", strlen("hello")) => strlen("hello");
#    lfs_file_close(&lfs, &file);
#    lfs_unmount(&lfs) => 0;
#
#    lfs_mount(&lfs, cfg) => 0;
#    lfs_setattr(&lfs, "hello/hello", 'B', "fffffffff",  9) => 0;
#    lfs_setattr(&lfs, "hello/hello", 'C', "ccccc",      5) => 0;
#
#    uint8_t buffer[1024];
#    memset(buffer, 0, sizeof(buffer));
#    struct lfs_attr attrs1[] = {
#        {'B', "gggg", 4},
#        {'C', "",     0},
#        {'D', "hhhh", 4},
#    };
#    struct lfs_file_config cfg1 = {.attrs=attrs1, .attr_count=3};
#
#    lfs_file_opencfg(&lfs, &file, "hello/hello", LFS_O_WRONLY, &cfg1) => 0;
#
#    lfs_getattr(&lfs, "hello/hello", 'B', buffer,    9) => 9;
#    lfs_getattr(&lfs, "hello/hello", 'C', buffer+9,  9) => 5;
#    lfs_getattr(&lfs, "hello/hello", 'D', buffer+18, 9) => LFS_ERR_NOATTR;
#    memcmp(buffer,    "fffffffff",          9) => 0;
#    memcmp(buffer+9,  "ccccc\0\0\0\0",      9) => 0;
#    memcmp(buffer+18, "\0\0\0\0\0\0\0\0\0", 9) => 0;
#
#    lfs_file_sync(&lfs, &file) => 0;
#    lfs_getattr(&lfs, "hello/hello", 'B', buffer,    9) => 4;
#    lfs_getattr(&lfs, "hello/hello", 'C', buffer+9,  9) => 0;
#    lfs_getattr(&lfs, "hello/hello", 'D', buffer+18, 9) => 4;
#    memcmp(buffer,    "gggg\0\0\0\0\0",     9) => 0;
#    memcmp(buffer+9,  "\0\0\0\0\0\0\0\0\0", 9) => 0;
#    memcmp(buffer+18, "hhhh\0\0\0\0\0",     9) => 0;
#
#    lfs_file_close(&lfs, &file) => 0;
#    lfs_unmount(&lfs) => 0;
#'''