pdumper_set_marked 3981 src/alloc.c          pdumper_set_marked (v);
pdumper_set_marked 4011 src/alloc.c        pdumper_set_marked (c);
pdumper_set_marked 4028 src/alloc.c        pdumper_set_marked (s);
pdumper_set_marked 4045 src/alloc.c        pdumper_set_marked (s);
pdumper_set_marked 4062 src/alloc.c        pdumper_set_marked (i);