#:00000000000000
 f00 x
  ⎕←x+x
∇00

'
'