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

int main(void) 
{
  unsigned long int k = 10;
  printf("sizeof k: %lu", k);
  int x = sizeof(int);
  printf("sizeof k: %d", x);
}