/* syscall: "utrace" ret: "int" args: "const char *" "void *" "size_t" */