src/x11/bin/xtrap/xtrapreset
