1.0.5.3: compiling a SUBSEQ on a SIMPLE-VECTOR should not give notes