machines__set_id_hdr_size
void machines__set_id_hdr_size(struct machines *machines, u16 id_hdr_size);
machines__set_id_hdr_size(&session->machines, id_hdr_size);