* python/py-arch.c (gdbpy_initialize_arch): Return 'int'.