86 Printerr

printerr は print コマンドとほぼ同じですが、その前の set print コ マンドの効果が続いている状態でも出力を常に stderr に送るところだけが違 います。