INTERFACE Integer32VectorFmtLex = VectorFmtLex (Integer32FmtLex, Integer32Vector) END Integer32VectorFmtLex.