base.Main

imm #(s: mut base.caps.System): imm base.Void,
imm #(s: mut base.caps.System): imm base.Void,