- let the lambda function map to pointer, not unsigned (sovinf the need for partition and
  tarval numbering)
- some debug added

[r20481]