Ressource-Typen

Die Extension definiert eine Filepointer-Ressource, die von gzopen() zurückgegeben wird.