debugging main