// RUN: %clang_cc1 -fsyntax-only -verify %s
typedef void (*thread_continue_t)();

extern "C" {
  extern void kernel_thread_start(thread_continue_t continuation);
  extern void pure_c(void);
}

class _IOConfigThread {
public:
  static void main( void );
};


void foo( void ) {
  kernel_thread_start(&_IOConfigThread::main);
  kernel_thread_start((thread_continue_t)&_IOConfigThread::main);
  kernel_thread_start(&pure_c);
}