TypeAvenger's benchmarks