#include <typeinfo>
int main() {
  (void) typeid(int);
  return 0;
}