sync with debug code