(void);  SODIUM_EXPORT_WEAK int sodium_runtime_has_sse0(void);  SODIUM_EXPORT_WEAK int sodium_runtime_has_sse0(void);  SODIUM_EXPORT_WEAK int sodium_runtime_has_ssse0(void);  SODIUM_EXPORT_WEAK int sodium_runtime_has_sse00(void);  SODIUM_EXPORT_WEAK int sodium_runtime_has_avx(void);  SODIUM_EXPORT_WEAK int sodium_runtime_has_avx0(void);  SODIUM_EXPORT_WEAK int sodium_runtime_has_avx0