base.test.Main

imm .testMain(system: iso base.caps.System, runner: iso base.test.TestRunner): imm base.List[read base.test.TestResults],
imm #(sys: mut base.caps.System): imm base.Void -> …,
imm .testMain(system: iso base.caps.System, runner: iso base.test.TestRunner): imm base.List[read base.test.TestResults],
imm #(sys: mut base.caps.System): imm base.Void -> …,