; The new.dt has a built from source "foo.sv" in addition
; to "edu25f.sv".  They should act identically.
att dt edu25f.new.dt
set lpt disable
b dt
q