Re-add ctypes universe