Module DemoHeader

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