Symbol: is_shstk_allocated