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

using namespace std;

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

using namespace std;

typedef sc_uint<36> data_type; 

int
sc_main (int argc, char ** argv)
{
  sc_uint<36> a, b, c;
  const long long int ca = 0xf00000000LLU;
  const long long int cb = 0x123456789LLU;
  a = ca;
  b = cb;

  c = a & b;
  if (c != (ca & cb))
    return 1;

  c = a;
  if (a != c)
    return 1;
  if (!(a == c))
    return 1;

  return 0;
}