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;
    }
}