Symbol: check_slab