4 ms·

I just read through the HVM2 and Lafont papers, and I'm pretty impressed with this style of computation!