Updated declaration of debug write()