style-wise: use ~self.instr_fault not self.instr_fault==0