#!/bin/bash -x

batch <<EOF
$*
EOF
