#!/bin/sh
xxdiff "$6" "$7"
exit 0
