"ascii" :
  [ 31
    11 [[ 7 [[ 1+ dup putchar 1 spaces dup . 9 putchar -] newline -]
  drop ^ ] ;
ascii
bye