start instrumenting the main C function
comment dead code with (* XXX: UNUSED *) disclaimer
refactoring first step