Dear Bernhard, great work! I have learnt something from your debugging.
So, the codeline in question is context->glGetIntegerv (GL_NUM_EXTENSIONS, &num_extensions); I have found the following comment in the web <https://stackoverflow.com/questions/6594214/glgetintegerv-returning-garbage-value>: "glGetIntegerv is not returning garbage. glGetIntegerv returns either a good value, or it does not touch the pointed to address at all. The reason why you see garbage is because the variable is not initialized. This seems like a pedantic comment, but it is actually important to know that glGetIntegerv does not touch the variable if it fails." Although I did not find this behaviour in the OpenGL spec, the corresponding coder seems not to have considered this, e.g. by setting the variable num_extensions to zero before the call. Anyway, thanks for your efforts. With kind regards -- Joachim