35.3. Benchmark machines