SandBox visitors: [[VisitCounter(SandBox,1,0)]]