4 ms·

If that was the intention, a better title would be 'Running formally-verified code on the Pebble smartwatch'.