Make sure the int_rsa_verify() prototype matches the implementation