+
+disk_count=4
+
+script_dir=$(dirname $(readlink -f "$BASH_SOURCE"))
+
+if [[ $script_dir == /a/bin/* ]]; then
+ rm -rf /a/tmp/fai2
+ cp -r /a/bin/fai /a/tmp/fai2
+ exec /a/tmp/fai2/fai-revm "$@"
+fi
+
+cd $(dirname $(readlink -f "$BASH_SOURCE"))
+
+