let yydgoto = "\002\000\006\000\007\000"