/* redundant declaration to silence -Wmissing-variable-declarations */
extern char *s1,
		   *s2,
		   *s3,
		   *s4,
		   *s5,
		   *s6,
		   *s7,
		   *s8;

char	   *s1,
		   *s2,
		   *s3,
		   *s4,
		   *s5,
		   *s6,
		   *s7,
		   *s8;