//bin/X11/prove