#include "alloc.h"
#include "case.h"
#include "command.h"
+#include "compiler.h"
#include "dictionary.h"
+#include "intprops.h"
#include "lexer.h"
#include "message.h"
#include "magic.h"
int line_number = 0;
const char *Line = _("Line");
- char *leader = local_alloc (strlen (Line) + INT_DIGITS + 1 + 1);
+ char *leader = local_alloc (strlen (Line)
+ + INT_STRLEN_BOUND (line_number) + 1 + 1);
while (index < cmd.n_variables)
{