#!/bin/sh
exec `dirname "$0"`/hdl trace "$@"
