#! /bin/sh

sed 's/0x[0-f][0-f]*/0x.../g'
