unsigned long unassemble(unsigned long, int);
void put_source_line(int, char *, int);
extern int last_unassemble_unconditional;
extern int last_unassemble_jump;
extern int last_unassemble_extra_
/* fixunssfsi() -- routine to convert a float to an unsigned */
/* Copyright 1984-1994 Wind River Systems, Inc. */
#include "copyright_wrs.h"
/*
modification history
--------------------
01a,13se
