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