An extraction from Flutter code, simplified for easier benchmarking of Dart runtimes. This code is not used for anything except for benchmarking.