rename main function to verify