Module DemoHeader
Require
Import
Integers
.
Require
Import
Coqlib
.
Definition
main_id
:= (77%
positive
).
Definition
func_id
:= (54%
positive
).