Update tokdef.h