base.Todo

imm ![R$0:iso,imm,mut,mutH,read,readH]: R$0 -> …,
imm ![R$0:iso,imm,mut,mutH,read,readH](msg: imm base.Str): R$0 -> …,
imm ![R$0:iso,imm,mut,mutH,read,readH]: R$0 -> …,
imm ![R$0:iso,imm,mut,mutH,read,readH](msg: imm base.Str): R$0 -> …,