get_empty_plex
plexno = get_empty_plex(); /* allocate a plex */
plexno = get_empty_plex();
int get_empty_plex(void);