+if [ x"$INPUTDIR" = x"" ]; then
+ echo "Error: Please specify input directory as second argument"
+ exit 1
+fi
+
+if [ x"$INPUTFILE" = x"" ]; then
+ echo "Error: Please specify input file as third argument"
+ exit 1
+fi
+
+if [ x"$BITNESS" != x"32" ] && [ x"$BITNESS" != x"64" ]; then
+ echo "Error: Please specify bitness as fourth argument (\"32\" or \"64\")"
+ exit 1
+fi
+