Function acked_through 

pub fn acked_through(snd_una: u32, pos: u32) -> bool

pos まで ACK 済みか（snd_una >= pos、周回を考慮。pos は snd_nxt 以下であること）。