#!/bin/sh

cat $1 | grep -v YABASIC |
		 sed 's/^.*SCRIBA//g' |
		 sed 's/THEN/then/g'