L4 benchmarks