src/x11/bin/xtrap/xtrapout
