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