import ctypes
sdl = ctypes.CDLL('libSDL2-2.0.so.0')
sdl.SDL_GetVideoDriver.restype = ctypes.c_char_p
n = sdl.SDL_GetNumVideoDrivers()
print('Available SDL2 drivers:')
for i in range(n):
    print(' ', sdl.SDL_GetVideoDriver(i).decode())