AS_READ_HELD
ASSERT(AS_READ_HELD(seg->s_as));
if (AS_READ_HELD(seg->s_as))
if (AS_READ_HELD(seg->s_as)) {
AS_READ_HELD(seg->s_as)) {
ASSERT(AS_READ_HELD(seg->s_as));
ASSERT(AS_READ_HELD(seg->s_as));