2 ms·

True! I wasn't thinking beyond verification of single-threaded programs, which is hard enough as it is ;-)