The entry point of this library is the module: Tezos_benchmarks_proto_024_PsU87LFi.
Tezos_benchmarks_proto_024_PsU87LFi