static int write_u32(char *prefix,
		     u32 value,
		     char *suffix,
		     char **buf,
		     unsigned int *maxlen)
static int write_u32(char *prefix, u32 value, char *suffix, char **buf,
		     unsigned int *maxlen)