AFAIK Val_handle doesn't exist. On Windows a `Unix.file_desc` is a custom value holding a structure defined in otherlibs/win32unix/unixsupport.h. So you do need to iterate over the original list.