I am using -malloc=0 (as per the pdf documentation) to see: WARNING! There are options you set that were not used! WARNING! could be spelling mistake, etc! Option left: name:-malloc=0 no value What am I doing wrong? Many thanks, Dominik