path: root/number.h

int get_unique_window_number ();
void return_window_number (int n);
void init_numbers ();