'$out_file1'; echo "\$GALAXY_MEMORY_MB"; : \${GALAXY_MEMORY_MB:=20}; echo "\$GALAXY_MEMORY_MB"; if [ "\$GALAXY_MEMORY_MB" -lt 10 ]; then exit 42; else exit 0; fi ]]>