command line - ¿Debería imprimirse la línea de comando "use" en stdout o stderr? - edu.lat