belt and braces; debugging code