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

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

char *strcat(char *restrict dest, const char *restrict src) {
    strcpy(dest + strlen(dest), src);
    return dest;
}

int main(int argc, char *argv[]) {
    int err = 0;
    char content[80];
    for (int i = 0; i < argc; i++) {
        strcat(content, argv[i]);
    }
    size_t content_size = (uint64_t)strlen(content);
    uint64_t fds[2] = {0};
    uint64_t length = countof(fds);
    err = ckb_inherited_fds(fds, &length);
    CHECK(err);
    CHECK2(length == 2, ErrorCommon);
    size_t content_size2 = content_size;
    printf("fds[CKB_STDOUT] = %d", fds[CKB_STDOUT]);
    err = ckb_write(fds[CKB_STDOUT], content, &content_size);
    CHECK(err);
    CHECK2(content_size2 == content_size, ErrorWrite);

exit:
    return err;
}