mark_stack_empty_p 6407 src/alloc.c    static inline bool mark_stack_empty_p (void);
mark_stack_empty_p 6424 src/alloc.c      eassert(mark_stack_empty_p ());
mark_stack_empty_p 6565 src/alloc.c      eassert (mark_stack_empty_p ());
mark_stack_empty_p 7023 src/alloc.c      eassume (!mark_stack_empty_p ());