-\subsection[string-size]{Maximum size of cost centre and description strings}
-%* *
-%************************************************************************
-
-This is the maximum identifier length that can be used for a cost
-centre or description string. It includes the terminating null
-character.
-
-WDP 95/07: I think this STRING_SIZE thing is completely redundant.
-
-The printf formats are here, so we are less likely to make overly-long
-filenames (with disastrous results). No more than 128 chars, please!
-
-\begin{code}
-#define STRING_SIZE 128
-
-#define STATS_FILENAME_MAXLEN 128
-
-#define TICKY_FILENAME_FMT "%0.121s.ticky"
-#define STAT_FILENAME_FMT "%0.122s.stat"
-#define PROF_FILENAME_FMT "%0.122s.prof"
-#define PROF_FILENAME_FMT_GUM "%0.118s.%03d.prof"
-#define TIME_FILENAME_FMT "%0.122s.time"
-#define TIME_FILENAME_FMT_GUM "%0.118s.%03d.time"
-#define HP_FILENAME_FMT "%0.124s.hp"
-\end{code}
-
-%************************************************************************
-%* *