debugging C extension