#!/bin/bash

# $1	In file
# $2	Out file
# $3	START
# $4	Stack Size

cat "$1" | sed s/"@@START@@"/"$3"/ | sed s/"@@STACK_SIZE@@"/"$4"/ > "$2"