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