Update tokdef.c