commented out references to smack debugger