Comment-out 'doNothing' C function

Also remove call to doNothing.

It was useful as a source of machine-code, but is otherwise uninteresting.