#include <stdio.h>
#define PRINT_INT(n) printf(#n " AND " #n " = %d\n", n)

int main(void) {
  int i, j;
  i = 10;
  j = 20;
  PRINT_INT(i / j);
}