R U / Were U using all the optimization options ? I believe not ! The 1.3 should be almost as fast as 1.2 1.4 will potentially be slower if you turn pre / post conditions "on".
Thomas Smets
Just another developper
Whatever you say buddy! And I believe this tiny ad too: