#!/bin/sh
"$AUTO_DIR"/bin/plaut04 $1 $2 &
