#include "lib/controller.h"

int32_t main() {
    controller_init("127.0.0.1", "33554", 1, 4);
    controller_start();

    printf("%d\n", controller_yield_task("test", 4));
    printf("%d\n", controller_yield_task("task", 4));

    controller_wait();

    const char* c;
    size_t sz;
    printf("%d\n", controller_get_result(&c, &sz));
    printf("%d\n", controller_get_result(&c, &sz));

    controller_finish();
    printf("OK\n");
}