pdumper_set_marked 4206 src/alloc.c          pdumper_set_marked (v);
pdumper_set_marked 4236 src/alloc.c        pdumper_set_marked (c);
pdumper_set_marked 4253 src/alloc.c        pdumper_set_marked (s);
pdumper_set_marked 4270 src/alloc.c        pdumper_set_marked (s);
pdumper_set_marked 4287 src/alloc.c        pdumper_set_marked (i);