#cast %nLL

test = block7 ackermann*K0 iota~~/4 7