#!/bin/sh

sed	-e '1i\
	'\
	-e '/'$1'\*\//,$d'|\
sed	-e '1,/\/\*'$1'/d'|\
sed	-e '1i\
	'\
	-e '$a\
	'
