#include<stdio.h> /* stdio is needed for fprintf() */
#endif
#include"options.h"
/* To Prevent "warning: '$' in identifier or number" message under GCC */
#ifdef __GNUC__
#pragma GCC system_header
#endif
/* Real-time relationships */
#define FRAMES_PER_SECOND 50.0
#define MILLION_CYCLES 1e6
#define WMOPS_BOOST_FAC ( 1.0f ) /* scaling factor for equalizing the difference between automatic and manual instrumentation */
#define FAC ( FRAMES_PER_SECOND / MILLION_CYCLES * WMOPS_BOOST_FAC )
#define NUM_INST 20 /* Total number of instruction types (in enum below) */
#define PROM_INST_SIZE 32 /* number of bits of each program instruction when stored in the PROM memory (applied only when the user selects reporting in bytes) */