fn transfer_verified(
from_account_index: IndexOfAccount,
to_account_index: IndexOfAccount,
lamports: u64,
invoke_context: &InvokeContext<'_>,
transaction_context: &TransactionContext,
instruction_context: &InstructionContext
) -> Result<(), InstructionError>