Como es habitual, la lista de instrucciones se debe finalizar con el caracter EOF, usualmente Control-D.