uncommented debug code