/* write_u32 - Store 32 bit data on a buffer and return the size  */
static void write_u32(void *buffer, size_t *off, uint32_t v)
/* write_u32 - Store 32 bit data on a buffer and return the size  */
static void write_u32(void *buffer, size_t *off, uint32_t v)
{
	if (buffer != NULL) {
		memcpy((uint8_t *)buffer + *off, (uint8_t *)&v, sizeof(v));
	} else {
		print_u32(v);
	}
	*off = *off + sizeof(uint32_t);
}