#!/bin/sh
#
# Copyright (C) 1990 Department of Computer Science, University of Queensland

echo "/*
 * Copyright (C) 19`date +%y` Department of Computer Science, University of Queensland
 */
"

sed '/{.*}/!d' |
	sed 's/	*{ [^,]*,[	]*\([0-9]*\),[	]*"\(.*\)".*/built_in('"'\2'"', \1)./'
