#! /bin/sh

echo "/* $* */"
sed -e 's/)$/);/' \
	-e '/^[a-zA-Z$_0-9]\+[ \*]*\	\**[a-zA-Z$_0-9]\+(.*);$/p' \
	-e '/^[a-zA-Z$_0-9]\+[ \*]*\	\**[a-zA-Z$_0-9]\+($/,/);$/p' -e 'd' \
	$*
