3 ms·This was done with mrustc, which produced byte identical output.by steveklabnik 4mo agoThis was done with mrustc, which produced byte identical output.