# Summary Implement BASOP `W_negate` operation: ``` Word64 W_negate( Word64 L64_var1 ); ``` This BASOP operation is required to for the optimisation of the `matrixTransp1Mul_fx` function.