#define CKB_C_STDLIB_PRINTF
#define CKB_C_STDLIB_PRINTF_BUFFER_SIZE 1024 * 16
#include <stdint.h>
#include <stdio.h>
#include <stdlib.h>
#include "ckb_syscalls.h"
uint64_t now() { return syscall(9001, 0, 0, 0, 0, 0, 0); }
int read_file(char* buf, int size) {
int ret = syscall(9000, buf, size, 0, 0, 0, 0);
return ret;
}
uint64_t random() { return syscall(9002, 0, 0, 0, 0, 0, 0); }
int main() {
char buf[1024 * 16] = {0};
uint64_t start = now();
int read_size = read_file(buf, sizeof(buf));
printf("read size = %d", read_size);
printf("------ content --------");
printf("%s", buf);
int duration = now() - start;
printf("duration = %d milli-second", duration / 1000 / 1000);
printf("generate a random number: %lu", random());
return 0;
}