 extern void mp_sub000_p0(const digit_t* a, const digit_t* b, digit_t* c); extern void mp_sub000_p0(const digit_t* a, const digit_t* b, digit_t* c); void oqs_kem_sike_mp_sub000_p0_asm(const digit_t* a, const digit_t* b, digit_t* c);  void oqs_kem_sike_mp_sub000_p0_asm(const digit_t* a, const digit_t* b, digit_t* c);  