Debug for random main