source ~/rtems.bash
 ./copy_monano.sh
 echo "----executing monano with an empty init()-------------"
 ./start.sh 1 |grep text, > result_0.txt
 echo "----extraction of the size generated during execution-------------"
 sed -i -e 's/  section: .text, addr: 0x40000000, size: //g' -e 's/ bytes//g' result_0.txt
 ./remove_monano.sh
 make clean