home *** CD-ROM | disk | FTP | other *** search
- tell fileId
- Returns a decimal string giving the current access
- position in fileId. FileId must have been the return
- value from a previous call to open, or it may be stdin,
- stdout, or stderr to refer to one of the standard I/O
- channels.
-