#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <varch/set.h>

int main(int argc, char *argv[])
{
    set_t set = set(int);
    int i;

    for (i = 0; i < 100; i++)
    {
        set_insert(set, i, &i);
    }
    printf("size = %d, data size = %d\r\n", set_size(set), set_dsize(set));

    i = -100; set_insert(set, i, &i);
    i = 1024; set_insert(set, i, &i);

    printf("set[6] = %d\r\n", set_at(set, int, 6));
    printf("set[-100] = %d\r\n", set_at(set, int, -100));
    printf("set[1024] = %d\r\n", set_at(set, int, 1024));

    set_at(set, int, 6) = 11111;
    printf("set[6] = %d\r\n", set_at(set, int, 6));

    _set(set);
}

// gcc ./test/test_install.c -o ./built/bin/app -lvarch
// ./built/bin/app