#include <stdint.h>
#include <string.h>
#include "ckb_syscalls.h"
#include "spawn_utils.h"
int main() {
int err = 0;
uint64_t fds[2] = {0};
uint64_t fds_len = countof(fds);
err = ckb_inherited_fds(fds, &fds_len);
CHECK(err);
CHECK2(fds_len == 2, ErrorCommon);
uint8_t buffer[1024] = {0};
size_t length;
length = 1024;
ckb_read_all(fds[CKB_STDIN], buffer, &length);
CHECK2(length == 12, ErrorCommon);
err = ckb_write(fds[CKB_STDOUT], buffer, &length);
CHECK(err);
err = ckb_close(fds[CKB_STDOUT]);
CHECK(err);
exit:
return err;
}