exptest dumps core. Optimizer bug?