On 2013-01-23 06:45, Walter Bright wrote: > Using the deco string is not missing information - and it's easier to > parse it and manipulate it. I vote for the suggestion by Rainer: "type" : { "mangled" : "PPPi", "pretty" : "int***", } -- /Jacob Carlborg