currently, the benchmark call arguments would be visible to inspect, creating potential cheating opportunities.
We should try to pass as many arguments as possible in a way that cannot be intercepted, e.g.,
using a file that gets deleted before the user kernel is imported.