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