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