#include "ckb_syscalls.h"

int main() {
    ckb_debug("exec_caller");
    int argc = 3;
    char *argv[] = {"a", "b", "c"};
    syscall(2043, 1, 3, 0, 0, argc, argv);
    return -1;
}