deleted top-level vector-reader.rkt