token defined in main to None