revise the part of the pascaltokentype