// Declarations used to maintain a numeric id that will be unique
// each time a function asks for a new one.

#ifndef UNIQUE_ID_H
#define UNIQUE_ID_H

extern int get_unique_id();

#endif