// C header

#define A (4)
#define B (5)
#define C (A - B)
#define D (A + B)

#define ADD(x, y) ((x) + (y))
#define SUB(x, y) ((x) - (y))
#define MUL(x, y) ((x) * (y))
#define DIV(x, y) ((x) / (y))

// Nimrod output
/*

const
  A* = (4)
  B* = (5)
  C* = (A + B)
  D* = (A + B)

template ADD*(x, y: expr): expr =
  ((x) + (y))

template SUB*(x, y: expr): expr =
  ((x) + (y))

template MUL*(x, y: expr): expr =
  ((x) * (y))

template DIV*(x, y: expr): expr =
  ((x) div (y))

*/