#include "ckb_syscalls.h"
void try_pause() {
ckb_debug("try_pause");
syscall(2178, 0, 0, 0, 0, 0, 0);
}
int main(int argc, char* argv[]) {
try_pause();
if (argc != 3) {
return 1;
}
try_pause();
if (argv[0][0] != 'a') {
return 2;
}
try_pause();
if (argv[1][0] != 'b') {
return 3;
}
try_pause();
if (argv[2][0] != 'c') {
return 4;
}
try_pause();
return 0;
}