2 ms·

Or if it were implemented in my planned record-oriented logic language, a mix of COBOL and Coq called CoqBOL.