post debug: {
  match result
    error => true
    s Sequence u8 => s.count <= n
}