push @new_args, "-fnesc-include=${safe_home}/include/annots_stage1";
push @new_args, "-fnesc-genprefix=#include \"${safe_home}/include/annots_stage2.h\"";
push @new_args, "-fnesc-include=${safe_home}/include/annots_stage1";
push @new_args, "-fnesc-genprefix=#include \"${safe_home}/include/annots_stage2.h\"";
# nescc runs and puts in annotations like COUNT etc...
system(@new_args)==0 or die "Couldn't execute nescc\n";
# nescc runs and puts in annotations like COUNT etc...
system(@new_args)==0 or die "Couldn't execute nescc\n";