pub type BufferId = u32;
Buffer identifier.
Rx space buffers and tx buffers are identified by these when exchanged between interface and implementation.