#!/bin/bash source /opt/rtems.bash ./experiment_cas3.sh $1