let yydgoto = "\002\000/\000Z\0000\0001\0002\0003\000"