7.2.160 write-handle

(write-handle PREFIX FILENAME HANDLE)

Writes the object underlying the given handle to FILENAME. This function is intended for internal debugging use only.