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