#include <stdint.h>
#include <string.h>

#include "ckb_syscalls.h"
#include "spawn_utils.h"

int main() {
    int err = 0;
    const char *argv[] = {"hello", "world"};
    uint64_t pid = 0;
    uint64_t fds[2] = {0};
    uint64_t inherited_fds[3] = {0};
    err = create_std_fds(fds, inherited_fds);
    CHECK(err);

    spawn_args_t spgs = {
        .argc = 2,
        .argv = argv,
        .process_id = &pid,
        .inherited_fds = inherited_fds,
    };
    err = ckb_spawn(1, CKB_SOURCE_CELL_DEP, 0, 0, &spgs);
    CHECK(err);
    uint8_t buffer[1024] = {0};
    size_t length = 1024;
    err = ckb_read(fds[CKB_STDIN], buffer, &length);
    CHECK(err);
    err = memcmp("helloworld", buffer, length);
    CHECK(err);

exit:
    return err;
}