Jens Rieks <[EMAIL PROTECTED]> wrote: > Hi, > Am Donnerstag, 19. Februar 2004 23:39 schrieb Leopold Toetsch: >> >> I'll have a look at that _init call tomorrow - albeit _init (it was that >> name IIRC) could be a too commonly used label. _library_init or such >> could be better. > That sounds reasonable. _library_unload might also be practical.
Actually it isn't any fixed-named label - its the LOAD pragma attached to an arbitrary label. So no problem with naming. leo