/*
 * typedef
 */

#include <stdio.h>

int main() {
  typedef int entier;

  entier a = 10;
  printf("%d\n", a);

  return (0);
}