***************
*** 921,927 ****
  	    case TOK_STR:
  		{
  		sc_int32	val;
! 		sc_char		buffer[11];
  
  		/*
  		 * Extract the value, convert it, and push back the resulting
--- 921,927 ----
  	    case TOK_STR:
  		{
  		sc_int32	val;
! 		sc_char		buffer[12];
  
  		/*
  		 * Extract the value, convert it, and push back the resulting