/* Check to see if this is a Ubik opcode.  */
static int is_ubik(uint32_t)
/* Check to see if this is a Ubik opcode.  */
static int is_ubik(uint32_t)
{
	if ((opcode >= VOTE_LOW && opcode <= VOTE_HIGH) ||
	    (opcode >= DISK_LOW && opcode <= DISK_HIGH))
		return(1);
	else
		return(0);
}