: a '
†  0 do i . loop ; a