#include <stdint.h>
#include <string.h>
#include "ckb_syscalls.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 = 2;
err = ckb_inherited_file_descriptors(fds, &length);
if (err != 0) {
return err;
}
if (length != 2) {
return 1;
}
size_t content_size2 = content_size;
printf("fds[CKB_STDOUT] = %lu", fds[1]);
err = ckb_write(fds[1], content, &content_size);
if (err != 0) {
return err;
}
if (content_size2 != content_size) {
return 1;
}
return 0;
}