#include <stdio.h>

typedef double altitude;
typedef char* pchar;

void main(void) {
  altitude v = 3.342;
  printf("%lf\n", v);
  char c = 'z';
  pchar ptr = &c;
  printf("%p %c\n",ptr, *ptr);
}