<' struct cpu_env { instr: uint (bits: 16); keep instr[15:13] == 0b100; keep instr[12:8] == 0b11001; keep instr[7:0] == 0b00001111; }; '>