#include <stdint.h>
#include <stddef.h>

enum E {          //# $\label{enum}$
	NoValue = -1,
	ValueA,       //# pretty=A $\label{pretty}$
	ValueB,       //# pretty=B
};

struct X {        //# decoder encoder $\label{decoder_encoder}$
	int i;        //#1 required $\label{required}$
	enum E e;     //#2 default=NoValue print=no $\label{default}$ $\label{print_no}$
	uint8_t b[8]; //#3 $\label{fixed_size}$
	uint8_t c[8]; //#4 num_at=num_c $\label{variable_size}$
	char *s;      //#5 truncate $\label{truncate}$

	char *t;
	uint64_t u;

	int x;        //# $\label{only_pretty}$

	int num_c;
	uint8_t buf[32];  //# buffer=here $\label{buffer}$
	uint8_t rest[32]; //# rest=here $\label{rest}$
};

struct Y { //# decoder encoder
	int num_x;
	struct X x[4]; //#1 num_at=^ callback=each_x $\label{num_at_above}$ $\label{callback}$
	int all_i;
};

static int each_x(struct Y *y, struct X *x) { // $\label{cb}$
	if(y->num_x == 0) y->sum_i = 0;
	y->sum_i += x->i;
	return PB_CALLBACK_OK;
}

#include "def0.pb.h"