python: add debug() function