Symbol: slab_tohashslab