Attributes {

    bad_values {

	Byte x 257;

	Int16 y 60000;

	UInt16 z 70000;

	Int32 a 2147483648;

	UInt32 b 4294967296;

	Float32 c 3.5E+38;

	Float64 d 1.8E+308;

    }

}