Optional debug code