Symbol: check_if_slab_drained