add optional debug printf message