in src/aesgcm.rs [50:55]
fn aesgcm_rs(rs: u32) -> u32 { if rs > u32::MAX - ECE_TAG_LENGTH as u32 { return 0; } rs + ECE_TAG_LENGTH as u32 }