terminal = alter-dsk