#!/bin/sh

while test $1
do
    file=$1
    shift
done

sed -e "s/#line/#/g" -e "s/${BUILTIN_VA_LIST}/__builtin_va_alist/g" $file

