+ if (!strcmp(exerc, "2015")) {
+ header_size = RNET_HEADER_SIZE_2015;
+ header_head = RNET_HEADER_HEAD_2015;
+ header_tail = RNET_HEADER_TAIL_2015;
+ } else if (!strcmp(exerc, "2014")) {
+ header_size = RNET_HEADER_SIZE_2014;
+ header_head = RNET_HEADER_HEAD_2014;
+ header_tail = RNET_HEADER_TAIL_2014;
+ } else if (!strcmp(exerc, "2013")) {
+ header_size = RNET_HEADER_SIZE_2013;
+ header_head = RNET_HEADER_HEAD_2013;
+ header_tail = RNET_HEADER_TAIL_2013;
+ } else {
+ r = -EINVAL;
+ goto out2;
+ }
+
+ /* This was already checked at parse time. */
+ if (strlen (header) != header_size)
+ abort ();
+