Added instrumented procedure.
The procedure emit is still empty.
Not tested....