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

int123456 INTEGER ::= 123456

Interval ::= INTEGER (1..123456)

SameInterval INTEGER ::= { }

Reason ::= INTEGER {
    no-reason(0),
    negative-reason(-10),
    some-large-value(1324324)
}

END