Well, if we're having some bike-shedding fun:

    let (a, b) = c[..16..];