Symbol: __print_slab_result