base.Block

imm #[X$0:iso,imm,mut,mutH,read,readH,R$0:iso,imm,mut,mutH,read,readH](_: X$0, res: R$0): R$0 -> …,
imm #[X1$0:iso,imm,mut,mutH,read,readH,X2$0:iso,imm,mut,mutH,read,readH,R$0:iso,imm,mut,mutH,read,readH](_: X1$0, _: X2$0, res: R$0): R$0 -> …,
imm #[X1$0:iso,imm,mut,mutH,read,readH,X2$0:iso,imm,mut,mutH,read,readH,X3$0:iso,imm,mut,mutH,read,readH,R$0:iso,imm,mut,mutH,read,readH](_: X1$0, _: X2$0, _: X3$0, res: R$0): R$0 -> …,
imm #[X1$0:iso,imm,mut,mutH,read,readH,X2$0:iso,imm,mut,mutH,read,readH,X3$0:iso,imm,mut,mutH,read,readH,X4$0:iso,imm,mut,mutH,read,readH,R$0:iso,imm,mut,mutH,read,readH](_: X1$0, _: X2$0, _: X3$0, _: X4$0, res: R$0): R$0 -> …,
imm #[R$0:imm,mut,read]: mut base.Block[R$0] -> …,
imm #[X$0:iso,imm,mut,mutH,read,readH](x: X$0): imm base.Void -> …,
imm #[X$0:iso,imm,mut,mutH,read,readH,R$0:iso,imm,mut,mutH,read,readH](_: X$0, res: R$0): R$0 -> …,
imm #[X1$0:iso,imm,mut,mutH,read,readH,X2$0:iso,imm,mut,mutH,read,readH,R$0:iso,imm,mut,mutH,read,readH](_: X1$0, _: X2$0, res: R$0): R$0 -> …,
imm #[X1$0:iso,imm,mut,mutH,read,readH,X2$0:iso,imm,mut,mutH,read,readH,X3$0:iso,imm,mut,mutH,read,readH,R$0:iso,imm,mut,mutH,read,readH](_: X1$0, _: X2$0, _: X3$0, res: R$0): R$0 -> …,
imm #[X1$0:iso,imm,mut,mutH,read,readH,X2$0:iso,imm,mut,mutH,read,readH,X3$0:iso,imm,mut,mutH,read,readH,X4$0:iso,imm,mut,mutH,read,readH,R$0:iso,imm,mut,mutH,read,readH](_: X1$0, _: X2$0, _: X3$0, _: X4$0, res: R$0): R$0 -> …,
imm #[R$0:imm,mut,read]: mut base.Block[R$0] -> …,
imm #[X$0:iso,imm,mut,mutH,read,readH](x: X$0): imm base.Void -> …,