修改ExpState.c