seqno_in_bounds wrapper function