4 ms·

Big in that they are popular, not big in the filesize/LOC sense (although those three seem to be both).