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