======Overview:======
$chop(//number// //text//)

======Summary:=======
The chop() function returns the initial part of //text//, excluding the final //number// characters (code points)

======Examples:======
<file>
$chop(5 abcdef)          /* returns "a" */
$chop(2 fnord)           /* returns "fno" */
</file>

======History:======
The chop() function first appeared in EPIC4pre1.042.