cgOp LStrRev [s] = do
  ns <- unbox FString s
  box FString =<< inst (simpleCall "__idris_strRev" [ns])
cgOp LStrRev [s] = do
  ns <- unbox FString s
  box FString =<< inst (simpleCall "__idris_strRev" [ns])
cgOp LStrRev [s] = do
  ns <- unbox FString s
  box FString =<< inst (simpleCall "__idris_strRev" [ns])