--- /dev/null
+#!/bin/bash
+source_em()
+{
+ local current_script="$em_script"
+ em_script=$1
+ . $em_script
+ em_script=$current_script
+}
+fragment()
+{
+ if [ ${BASH_VERSINFO[3]} -ge 3 ]; then
+ local lineno=$[${BASH_LINENO[0]} + 1]
+ echo >> e${EMULATION_NAME}.c "#line $lineno \"$em_script\""
+ fi
+ cat >> e${EMULATION_NAME}.c
+}