static char rcsid[] = "$Header:pic.c 12.0$";
/* Copyright (c) 1979 Regents of the University of California */

static	char sccsid[] = "@(#)pic.c 1.1 8/27/80";

#include "OPnames.h"

main()  {
	register int j, k;

	for(j = 0;  j < 32;  j++) {
		for (k = 0;  k < 256;  k += 32)
			if (otext[j+k])
				printf("%03o%cO_%s\t", j+k, *otext[j+k], otext[j+k]+1);
			else
				printf("%03o\t\t", j+k);
		putchar('\n');
		if ((j+1)%8 == 0)
			putchar('\n');
	}
	printf("Starred opcodes are used internally in Pi and are never generated.\n");
	exit(0);
}
