Minor nit -- do we want to use disable_optimizations instead?