#!/bin/sh awk -f - $* < "/dev/stderr" exit(1) } print "START="int2ip(start) print "END="int2ip(end) } EOF