3 ms·DEC RDB might have done it, if it was still available.by gaius 9y agoDEC RDB might have done it, if it was still available.