#include <stdio.h>

#include "ckb_syscalls.h"

int main() {
    printf("debugger print utf-8 string");
    return CKB_SUCCESS;
}