util/debug_print_extensions library