2 ms·Isn't that just a special case of 794?by contravariant 5y agoIsn't that just a special case of 794?