ctypes: document the list of ctypes