The
following code pattern is created for every
primitive (user-defined) operation:
void class::op1() {
NOTIFY_OPERATION(op1, op1(), 0, op1_SERIALIZE);
// Instrumentation
//#[ operation op1() // Annotation
// body of the operation as you entered
//#]
};