ed: the standard editor