I64 @shell_cmd_exit(@shell* sh, I64 argc, U8** argv) { // stub return 0; }