ModuleRealConstraint { iso org(3)
	dod(6) internet(1) private(4)
	enterprise(1) spelio(9363)
	software(1) asn1c(5) test(1)
	117 }
DEFINITIONS ::=
BEGIN

R ::= REAL (0..3.141593)

END