Run
Tests of the Run entrypoint are in separate files because Run needs to be in Main//default, and there can only be one such library per compile.
Main//default