----------/usr/bin/crux----------
CRUX version 2.8