mark_stack_empty_p 6111 src/alloc.c    static inline bool mark_stack_empty_p (void);
mark_stack_empty_p 6128 src/alloc.c      eassert(mark_stack_empty_p ());
mark_stack_empty_p 6261 src/alloc.c      eassert (mark_stack_empty_p ());
mark_stack_empty_p 6705 src/alloc.c      eassume (!mark_stack_empty_p ());