#!/bin/csh
  edfdump -x -e "history-9" $*
  if ( ${status} ) exit ${status}
