4 ms·

I think it's ok in awk because awk is seen as a scripting language, where brevity matters and there aren't many variables anyway