HELP DEVICE_OPEN_NAME                         Revised by Fran Evelyn, July 85

    device_open_name(<device>) -> filename

Given a <device> as argument, this procedure returns the name of the file for
which the <device> was created.

See also
HELP *ISDEVICE - recogniser procedure for a device
HELP *DEVICE   - on devices and their manipulation
REF *SYSIO     - for more on Input/Output procedures
