Fixed debugging functions for Objective C++