(This file public domain.) dviout source from: https://mirror.ctan.org/dviware/dviout