#  -*- C++ -*-

# Test attribute vectors.

Attributes {
    var0 {
	String month Jan, Feb, Mar, Apr, May, Jun, Jul, Aug, Sep, Nov, Dec;
    }
}