#include <config.h>
#include "font.h"
-#include "message.h"
+#include <libpspp/message.h>
#include <stdio.h>
#include <errno.h>
#include <stdlib.h>
#include <limits.h>
#include <stdarg.h>
-#include "alloc.h"
-#include "message.h"
-#include "filename.h"
+#include <libpspp/alloc.h>
+#include <libpspp/compiler.h>
+#include <libpspp/message.h>
+#include <data/filename.h>
#include "getline.h"
-#include "hash.h"
-#include "pool.h"
-#include "str.h"
-#include "version.h"
+#include <libpspp/hash.h>
+#include "intprops.h"
+#include <libpspp/pool.h>
+#include <libpspp/str.h>
+#include <libpspp/version.h>
#include "gettext.h"
#define _(msgid) gettext (msgid)
int
font_number_to_index (int x)
{
- char name[INT_DIGITS + 2];
+ char name[INT_STRLEN_BOUND (x) + 2];
/* Note that space is the only character that can't appear in a
character name. That makes it an excellent choice for a name