#!/bin/sh

cat $1 | sed "{
	s/yylhs/yycasllhs/g
	s/yylen/yycasllen/g
	s/yydefred/yycasldefred/g
	s/yydgoto/yycasldgoto/g
	s/yysindex/yycaslsindex/g
	s/yyrindex/yycaslrindex/g
	s/yygindex/yycaslgindex/g
	s/yytable/yycasltable/g
	s/yycheck/yycaslcheck/g
	s/yyin/caslin/g
	s/yyout/caslout/g
	s/yylex/yycasllex/g
	s/yy_create_buffer/yycasl_create_buffer/g
	s/yy_load_buffer_state/yycasl_load_buffer_state/g
	s/yyrestart/yycaslrestart/g
	s/yy_init_buffer/yycasl_init_buffer/g
	s/yy_switch_to_buffer/yycasl_switch_to_buffer/g
	s/yy_delete_buffer/yycasl_delete_buffer/g
	s/yy_flush_buffer/yycasl_flush_buffer/g
	s/yy_scan_buffer/yycasl_scan_buffer/g
	s/yy_scan_string/yycasl_scan_string/g
	s/yy_scan_bytes/yycasl_scan_bytes/g
	s/yyparse/casl_parse/g
}" > $1.$$
mv -f $1.$$ $1
