#include "systemc.h"
#include <iostream>


using namespace std;

#define ADDRSIZE   32
#define OFFSETSIZE 6
#define BPFSIZE    3

#define ASSERT(x) { if (!(x)) { \
                      cerr << "ASSERT : " #x \
                              "\n"; \
                      exit (errnum); \
                    } else errnum++; \
                  }

int
sc_main (int argc, char ** argv)
{
  int errnum = 1;

  sc_uint<ADDRSIZE> LINEADDR_MASK = ~(((sc_uint<ADDRSIZE>) ~0x0) >> (ADDRSIZE-OFFSETSIZE-BPFSIZE));
//  cerr << "0x" << hex << (int)LINEADDR_MASK << "\n";
  ASSERT(LINEADDR_MASK == 0xFFFFFE00);

  cerr << "Test OK\n";

  return 0;
}