Debugging main