2 // Special g++ Options:
4 // Make sure the typedef name is used in name mangling, not some random
8 typedef enum { red } color;
14 void f1() asm("bar__3fooQ23foo3$_0");
17 void f2() asm("_bar__3fooQ23foo3$_0");
20 void f3() asm("__bar__3fooQ23foo3$_0");