#!000PPPPPPPPPP00000000

∇ r0
⎕00000000:00

'