Add print_hex_buf function to util.lua