(Runtime C) Allow to output in a file the dynamic mapping being used