#!/usr/bin/sh
exec gawk --re-interval -ixmllib "$@"
