#declare inc_file = "out/naf_00000006_orig.inc"