Symbol: deb_space_print