s3_1 {

}

s3_2 {

}

s3_3 {
  runScript s4.txt s4_1
}

s3_4 {
  runScript s4.txt s4_2
}