https://tongfamily.com/2005/02/10/another-dothan-benchmark/