source /opt/rtems.bash  #~/tsim.bash #
 ./copy_monano.sh
 echo "----executing monano with an empty init()-------------"
 ./start.sh 1  |grep size > result_0.txt
 echo "----extraction of the size generated during execution-------------"
 sed -i -e 's/ Total size: //g' -e 's/ (*)//g' result_0.txt
 ./remove_monano.sh