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