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