Change in simtrace2[master]: contrib/simtrace.lua: print length + slot-number in decimal only