1pub const WASH:i32 = 0;
2pub const OP_SYSTEM: i32 = 0;
3pub const SUBOP_INITIALIZATION: i32 = 0;
4pub const SUBOP_SPAWN: i32 = 1;
5pub const SUBOP_STDOUT_PUTC: i32 = 2;
6pub const SUBOP_STDOUT_FLUSH: i32 = 3;
7pub const SUBOP_STDIN_PUTC: i32 = 4;
8pub const SUBOP_STDIN_FLUSH: i32 = 5;