echo "Dummy 32bit ctrtool"
echo "Please generate this binary."