#!/bin/sh
exec attachandrun infoagents realplay "$0" "$@"
