mark_maybe_pointer 5234 src/alloc.c          mark_maybe_pointer (p, false);
mark_maybe_pointer 5243 src/alloc.c          mark_maybe_pointer ((void *) ip, true);