Function init_thread() should return an integer under Windows