It defaults to 16 in `util/options.cc`