4 ms·My bad. I must have been confusing the SBCL time for the GCC time.by GregBuchholz 16y agoMy bad. I must have been confusing the SBCL time for the GCC time.