Some debug code in main