define println use $s $s print "\n" print "0123456789" as $str define offTheTop use $s $s 1 0x7FFFFFFF extract define offTheTail use $s $s 0 -1 extract $str offTheTop println $str offTheTail println $str offTheTop offTheTail println