;; Function main (main, funcdef_no=0, decl_uid=1743, symbol_order=0) (executed once) main () { int e; int i; : return 5; }