I'm a little uncertain as to whether this is the right place for this. I'd almost rather defining this in `std::run`, but it does seem a little odd regardless.

I'm still of the opinion that `std::run` needs to get rewritten, so we can probably just leave where to put this until then.