base.benchmarking.BlackBox

imm .consumeCpu(tokens: imm base.Nat): imm base.Void -> …,
imm #[T$0:imm,mut,read](value: T$0): imm base.Void -> …,
imm .consumeCpu(tokens: imm base.Nat): imm base.Void -> …,
imm #[T$0:imm,mut,read](value: T$0): imm base.Void -> …,