var used when printing traces