#!00000000000000

∇ r0
⎕←00:, 0
∇