pub fn verify<'a>(
_program_id: &Pubkey,
_accounts: &'a [AccountInfo<'a>],
_args: VerifyArgs
) -> ProgramResult