typedef char CHAR;

module M3 {
  #pragma prefix "hello"
  typedef short SHORT;
};