code mapping: pretty printing support (work-in-progress)

commented out for now, not yet functional