More OpenTK stubs