proc {Match E} 
  case E
  of hi(X) then {Hi X}
  [] ho(Y) then {Ho Y}
  else
    raise illformedExpression(E) end 
  end
end