echo "# mis2.2 -x -c \"read_pla -s $1; source script\""
mis2.2 -x -c "read_pla -s ex/$1; source script; write_lif ex/$1.mis2"