215,223c215
< Fault fault = NoFault;
<
< %(op_dest_decl)s;
<
< if (fault == NoFault) {
< %(op_wb)s;
< }
<
< return fault;
---
> return NoFault;