Inside Termux: apt install ghc, adb push Main.hs $(dest dir); ghc --make -package base Main.hs ; LD_PRELOAD=$PWD/libchallenge_bypass_ristretto_ffi.so ./Main

Main.hs

{-# LANGUAGE ForeignFunctionInterface #-}
module Main where

import Foreign.C.String
import Foreign.Ptr
data C_Token

foreign import ccall "lib.h token_random" tokenRandom :: IO (Ptr C_Token)
foreign import ccall "lib.h token_encode_base64" tokenEncodeBase64 :: (Ptr C_Token) -> IO CString

main :: IO ()
main = do
  tr <- tokenRandom
  btr <- tokenEncodeBase64 tr
  res <- peekCAString btr
  print res