Symbol: print_bounded_addresses